// {{{ 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);
} // }}}