org.jgraph.event
Interface GraphSelectionListener
- EventListener
- BasicGraphUI.GraphSelectionHandler, DefaultGraphCellEditor, JGraph.GraphSelectionRedirector
public interface GraphSelectionListener
extends EventListener
The listener that's notified when the selection in a GraphSelectionModel
changes.
valueChanged
public void valueChanged(GraphSelectionEvent e)
Called whenever the value of the selection changes.
e
- the event that characterizes the change.
Copyright (C) 2001-2006 Gaudenz Alder. All rights reserved.