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 GraphSelectionListener
e
- the GraphSelectionEvent
generated by the
GraphSelectionModel
Copyright (C) 2001-2009 JGraph Ltd. All rights reserved.