public interface PickEventListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
edgePicked(ArchetypeEdge v)
Deprecated.
|
void |
edgeUnpicked(ArchetypeEdge v)
Deprecated.
|
void |
vertexPicked(ArchetypeVertex v)
Deprecated.
|
void |
vertexUnpicked(ArchetypeVertex v)
Deprecated.
|
void vertexPicked(ArchetypeVertex v)
void vertexUnpicked(ArchetypeVertex v)
void edgePicked(ArchetypeEdge v)
void edgeUnpicked(ArchetypeEdge v)