org.grinvin.graphs
Interface AnnotationListener
- EventListener
- GraphPanel, GraphPanel3D, GraphViewPanel, MutableGraphPanel
public interface AnnotationListener
extends EventListener
Listens to changes in an annotation. Note that changes to the peer graph
of the annotation are not propagated to the embedding.
Note: It is the responsibility of
the listener to keep track of the annotation being listened
to. This annotation is not handed to the listener as a parameter
of the various methods.
annotationChanged
public void annotationChanged()
Called after a major change in the annotation. For instance when the
annotations of all vertices and/or edges change at the same time. Note
that also the peer of the annotation may have changed.
elementAnnotationChanged
public void elementAnnotationChanged(Element element)
Called after an element was given a new annotation