// {{{ handleMessage() method
@Override
public void handleMessage(EBMessage message) {
if (message.getSource() == PluginManager.getInstance()) {
chooseButton.path = jEdit.getProperty(PluginManager.PROPERTY_PLUGINSET, "");
if (chooseButton.path.length() > 0) {
loadPluginSet(chooseButton.path);
pluginModel.restoreSelection(new HashSet<String>(), new HashSet<String>());
chooseButton.updateUI();
}
}
} // }}}
// methods start,stop,forward,rewind,insert-time,position moved as static to h4JmfPlugin
// kleine delay inbouwen forward,rewind ???,sometimes player does not respind well ?? why??
// EBComponent interface
public void handleMessage(EBMessage message) {
logger.info(message.toString());
if (message instanceof PropertiesChanged) {
// propertiesChanged();
}
// AWT-EventQueue-0: INFO: EditorExiting[source=null]
else if (message instanceof org.gjt.sp.jedit.msg.PluginUpdate) {
Object what = ((PluginUpdate) message).getWhat();
if (what.equals(PluginUpdate.DEACTIVATED)) {
// if(h4JmfPlugin.playMP3!=null) h4JmfPlugin.playMP3.close();
// h4JmfPlugin.playMP3=null;
logger.info("close done in h4JmfPlugin");
}
} // PluginUpdate
} // handleMessage