Package org.graphstream.ui.graphicGraph

Interface GraphicElementChangeListener

public interface GraphicElementChangeListener

Interface for entities interested in changes on graphic elements. This interface main role is to advise renderer that an element changed and therefore must be redrawn. This allows to avoid redrawing elements that did not changed.

Method Summary

Modifier and Type	Method	Description
void	graphicElementChanged(GraphicElement element)

Method Details

graphicElementChanged

void graphicElementChanged(GraphicElement element)