Class JmtGraphUI.JmtGraphSelectionHandler

java.lang.Object

org.jgraph.plaf.basic.BasicGraphUI.GraphSelectionHandler

jsimgraph.controller.JmtGraphUI.JmtGraphSelectionHandler

All Implemented Interfaces:

Serializable, EventListener, org.jgraph.event.GraphSelectionListener

Enclosing class:

JmtGraphUI

public class JmtGraphUI.JmtGraphSelectionHandler
extends org.jgraph.plaf.basic.BasicGraphUI.GraphSelectionHandler

A GraphSelectionHandler that can enable/disable UI actions

Author:

Federico Granata Date: 15-lug-2003 Time: 16.12.00, Bertoli Marco (29-mar-2006)

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
JmtGraphSelectionHandler()

Method Summary

Modifier and Type	Method	Description
void	valueChanged(org.jgraph.event.GraphSelectionEvent e)

Methods inherited from class Object

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

Constructor Details

JmtGraphSelectionHandler

public JmtGraphSelectionHandler()

Method Details

valueChanged

public void valueChanged(org.jgraph.event.GraphSelectionEvent e)

Specified by:

valueChanged in interface org.jgraph.event.GraphSelectionListener

Overrides:

valueChanged in class org.jgraph.plaf.basic.BasicGraphUI.GraphSelectionHandler