org.jgraph.event
Interface GraphModelListener
- EventListener
- BasicGraphUI.GraphModelHandler
public interface GraphModelListener
extends EventListener
Defines the interface for an object that listens to changes in a GraphModel.
graphChanged
public void graphChanged(GraphModelEvent e)
Invoked after a cell has changed in some way. The vertex/vertices may
have changed bounds or altered adjacency, or other attributes have
changed that may affect presentation.
Note : Read the notes on the GraphModelEvent class carefully.
A GraphModelEvent is the undo of the event that has just occurred,
i.e. if you undo this event is executed.
Copyright (C) 2001-2006 Gaudenz Alder. All rights reserved.