public interface GraphViewListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
edgeDrawn(GraphViewEvent e)
A connector representing an edge was just drawn.
|
void |
edgeRouted(GraphViewEvent e)
The connector representing an edge was just routed.
|
void |
nodeDrawn(GraphViewEvent e)
A figure representing a node was just drawn.
|
void |
nodeMoved(GraphViewEvent e)
The figure representing a node was moved.
|
void nodeMoved(GraphViewEvent e)
void edgeRouted(GraphViewEvent e)
void nodeDrawn(GraphViewEvent e)
void edgeDrawn(GraphViewEvent e)