Example #1
0
 public void treeClosed() {
   client.browserClosed(getIdentity(), this);
   Message m = handler.newMessage("modelBrowserClosed", 1);
   Value v = new Value(getIdentity());
   m.args[0] = v;
   handler.raiseEvent(m);
 }
Example #2
0
 public void focusGained() {
   if (handler != null) {
     Message m = handler.newMessage("focusGained", 1);
     Value v = new Value(getIdentity());
     m.args[0] = v;
     handler.raiseEvent(m);
   }
 }
Example #3
0
 public void run() {
   EventHandler handler = form.getHandler();
   if (handler != null) {
     Message m = handler.newMessage("browseHistory", 1);
     Value v = new Value(form.getIdentity());
     m.args[0] = v;
     handler.raiseEvent(m);
   }
 }
Example #4
0
 public void propertyChange(PropertyChangeEvent e) {
   String preference = e.getProperty();
   if (preference.equals(IPreferenceConstants.INVOKE_PROPERTY_EDITOR)
       || preference.equals(IPreferenceConstants.INVOKE_DIAGRAM_EDITOR)) {
     Message m = handler.newMessage(preference + "ActionChange", 1);
     Value v1 = new Value((String) e.getNewValue());
     m.args[0] = v1;
     handler.raiseEvent(m);
   }
 }