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