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);
}
}