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);
}
public void focusGained() {
if (handler != null) {
Message m = handler.newMessage("focusGained", 1);
Value v = new Value(getIdentity());
m.args[0] = v;
handler.raiseEvent(m);
}
}
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);
}
}
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);
}
}
public boolean processMessage(Message message) {
if (message.args[0].hasStrValue(identity)) {
if (message.hasName("setName") && message.arity == 2) {
String name = message.args[1].strValue();
setName(name);
handler.setCommandMode(false);
return true;
} else if (message.hasName("closeModelBrowser") && message.arity == 1) {
closeModelBrowser();
return true;
} else return broadcastCommand(message);
} else return broadcastCommand(message);
}