method

com.dmdirc.addons.ui_swing.components. DMDircUndoableEditListener__static_init

method	void com.dmdirc.addons.ui_swing.components. DMDircUndoableEditListener(UndoManager)
post	this.undoManager == undoManager
post	init'ed(this.undoManager)

method	void undoableEditHappened(UndoableEditEvent)
pre	evt != null
pre	this.undoManager != null