// {{{ dispose() method
@Override
public void dispose() {
instance = null;
EditBus.removeFromBus(this);
EditBus.removeFromBus(installer);
super.dispose();
} // }}}
// {{{ removeNotify() method
@Override
public void removeNotify() {
super.removeNotify();
EditBus.removeFromBus(this);
jEdit.setBooleanProperty("hypersearch-results.multi", multiStatus);
} // }}}
public void removeNotify() {
logger.info("");
super.removeNotify();
EditBus.removeFromBus(this);
}
void close() {
saveCaretInfo();
EditBus.send(new EditPaneUpdate(this, EditPaneUpdate.DESTROYED));
EditBus.removeFromBus(this);
textArea.dispose();
}