org.jgraph.plaf.basic
public class BasicGraphUI.GraphSelectionHandler extends java.lang.Object implements GraphSelectionListener, java.io.Serializable
Constructor and Description |
---|
BasicGraphUI.GraphSelectionHandler() |
Modifier and Type | Method and Description |
---|---|
void |
valueChanged(GraphSelectionEvent event)
Messaged when the selection changes in the graph we're displaying
for.
|
public void valueChanged(GraphSelectionEvent event)
valueChanged
in interface GraphSelectionListener
event
- the event that characterizes the change.Copyright (C) 2001-2008 Gaudenz Alder. All rights reserved.