org.tigris.gef.event
Class GraphSelectionEvent
java.lang.Object
java.util.EventObject
org.tigris.gef.event.GraphSelectionEvent
- All Implemented Interfaces:
- java.io.Serializable
- public class GraphSelectionEvent
- extends java.util.EventObject
An event object that contains information about the current
selection(s) in an Editor. These events are sent to registered
GraphSelectionListeners whenever the Editor's selection
changes.
- See Also:
GraphSelectionListener
,
Editor
,
SelectionManager
,
Serialized Form
Fields inherited from class java.util.EventObject |
source |
Methods inherited from class java.util.EventObject |
getSource, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
_selections
protected java.util.Vector _selections
GraphSelectionEvent
public GraphSelectionEvent(java.lang.Object src,
java.util.Vector selections)
getSelections
public java.util.Vector getSelections()