示例#1
0
 @ObserverRegisterer(ObserverTypes.PROPERTY_LISTENER)
 public void addPropertyChangeListener(PropertyChangeListener listener) {
   listeners.add(listener);
   listener.propertyChange(new PropertyChangeEvent(this, "history", 0, getHistory()));
   listener.propertyChange(new PropertyChangeEvent(this, "tokens", 0, getTokens()));
 }