protected class JGraph.GraphSelectionRedirector extends java.lang.Object implements java.io.Serializable, GraphSelectionListener
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.
| Modifier | Constructor and Description |
|---|---|
protected |
GraphSelectionRedirector() |
| Modifier and Type | Method and Description |
|---|---|
void |
valueChanged(GraphSelectionEvent e)
Invoked by the
GraphSelectionModel when the selection
changes. |
public void valueChanged(GraphSelectionEvent e)
GraphSelectionModel when the selection
changes.valueChanged in interface GraphSelectionListenere - the GraphSelectionEvent generated by the
GraphSelectionModelCopyright (C) 2001-2008 Gaudenz Alder. All rights reserved.