public interface GraphSelectionListener
extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
valueChanged(GraphSelectionEvent e)
Called whenever the value of the selection changes.
|
void valueChanged(GraphSelectionEvent e)
e - the event that characterizes the change.Copyright (C) 2001-2008 Gaudenz Alder. All rights reserved.