m_listenerList.remove(PropertyChangeListener.class, l);
}
public void firePropertyChangedEvent(String name, Object oldValue, Object newValue) {
//System.out.println("[Gui Activator] fire PCE("+name+","+oldValue+","+newValue+")");
PropertyChangeEvent event = null;
// Guaranteed to return a non-null array
Object[] listeners = m_listenerList.getListenerList();
// Process the listeners last to first, notifying
// those that are interested in this event
for (int i = listeners.length - 2; i >= 0; i -= 2) {
if (listeners[i] == PropertyChangeListener.class) {
// Lazily create the event:
if (event == null) {
event = new PropertyChangeEvent(this, name, oldValue, newValue);
}
((PropertyChangeListener) listeners[i + 1]).propertyChange(event);
}
}
}