org.jgraph
Class JGraph.GraphSelectionRedirector
java.lang.Object
org.jgraph.JGraph.GraphSelectionRedirector
- All Implemented Interfaces:
- EventListener, GraphSelectionListener, Serializable
- Enclosing class:
- JGraph
- protected class JGraph.GraphSelectionRedirector
- extends Object
- implements Serializable, GraphSelectionListener
Handles creating a new GraphSelectionEvent with the
JGraph as the source and passing it off to all the
listeners.
Warning: Serialized objects of this class will not be
compatible with future Swing releases. The current serialization support
is appropriate for short term storage or RMI between applications running
the same version of Swing. A future release of Swing will provide support
for long term persistence.
- See Also:
- Serialized Form
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JGraph.GraphSelectionRedirector
protected JGraph.GraphSelectionRedirector()
valueChanged
public void valueChanged(GraphSelectionEvent e)
- Invoked by the
GraphSelectionModel when the selection
changes.
- Specified by:
valueChanged in interface GraphSelectionListener
- Parameters:
e - the GraphSelectionEvent generated by the
GraphSelectionModel
Copyright (C) 2001-2008 Gaudenz Alder. All rights reserved.