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
 void graphicElementChanged(GraphicElement element)
           
 

Method Detail

graphicElementChanged

void graphicElementChanged(GraphicElement element)


Copyright © 2012. All Rights Reserved.