com.jgraph.editor
Class JGraphEditorFactory.ActionChangedListener

java.lang.Object
  com.jgraph.editor.JGraphEditorFactory.ActionChangedListener

All Implemented Interfaces:

EventListener, PropertyChangeListener

Enclosing class:

JGraphEditorFactory

protected class JGraphEditorFactory.ActionChangedListener

extends Object

implements PropertyChangeListener

Updates button based on property change events.

Method Summary

void	propertyChange(PropertyChangeEvent e) Updates the button state based on changes of the action state.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

propertyChange

public void propertyChange(PropertyChangeEvent e)

Updates the button state based on changes of the action state.

Specified by:

propertyChange in interface PropertyChangeListener