org.jgraph.plaf.basic
Class BasicGraphUI.GraphSelectionHandler

java.lang.Object
  org.jgraph.plaf.basic.BasicGraphUI.GraphSelectionHandler

All Implemented Interfaces:

Serializable, EventListener, GraphSelectionListener

Enclosing class:

BasicGraphUI

public class BasicGraphUI.GraphSelectionHandler
extends Object
implements GraphSelectionListener, Serializable

Listens for changes in the selection model and updates the display accordingly.

See Also:

Serialized Form

Constructor Summary

BasicGraphUI.GraphSelectionHandler()

Method Summary

void	valueChanged(GraphSelectionEvent event) Messaged when the selection changes in the graph we're displaying for.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BasicGraphUI.GraphSelectionHandler

public BasicGraphUI.GraphSelectionHandler()

Method Detail

valueChanged

public void valueChanged(GraphSelectionEvent event)

Messaged when the selection changes in the graph we're displaying for. Stops editing, updates handles and displays the changed cells.

Specified by:

valueChanged in interface GraphSelectionListener

Parameters:

event - the event that characterizes the change.