// {{{ addNotify() method
@Override
public void addNotify() {
super.addNotify();
EditBus.addToBus(this);
multiStatus = jEdit.getBooleanProperty("hypersearch-results.multi");
updateHighlightStatus();
updateMultiStatus();
} // }}}
// {{{ Class initializer
static {
EditBus.addToBus(
new EBComponent() {
public void handleMessage(EBMessage msg) {
if (msg instanceof PropertiesChanged) {
synchronized (lock) {
colors = null;
}
}
}
});
} // }}}
// {{{ notifyChange() method
private static void notifyChange() {
EditBus.send(new DynamicMenuChanged("recent-files"));
} // }}}
// {{{ removeNotify() method
@Override
public void removeNotify() {
super.removeNotify();
EditBus.removeFromBus(this);
jEdit.setBooleanProperty("hypersearch-results.multi", multiStatus);
} // }}}
