// {{{ addNotify() method
@Override
public void addNotify() {
super.addNotify();
EditBus.addToBus(this);
multiStatus = jEdit.getBooleanProperty("hypersearch-results.multi");
updateHighlightStatus();
updateMultiStatus();
} // }}}
// {{{ removeNotify() method
@Override
public void removeNotify() {
super.removeNotify();
EditBus.removeFromBus(this);
jEdit.setBooleanProperty("hypersearch-results.multi", multiStatus);
} // }}}
