public class DGraphSelectionListener
extends java.lang.Object
implements org.jgraph.event.GraphSelectionListener
Title: DECLARE
Description: Makes sure that all graph cells with the same userObject are either selected or disselected at one moment.
Copyright: Copyright (c) 2006
Company: TU/e
Constructor and Description |
---|
DGraphSelectionListener(DGraph aGraph)
Cretes a new instance for the specified graph.
|
Modifier and Type | Method and Description |
---|---|
void |
valueChanged(org.jgraph.event.GraphSelectionEvent graphSelectionEvent)
Invoked whenever the selection of the graph changes.
|
public DGraphSelectionListener(DGraph aGraph)
aGraph
- The graph that is listened to.