// {{{ 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();
     }
   }
 } // }}}
示例#2
0
 // 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