public class SelectionEvent
extends java.util.EventObject
DiagramListener
.Constructor and Description |
---|
SelectionEvent(java.lang.Object source,
java.awt.geom.Point2D mousePosition,
AdjustmentHandle adjustmentHandle)
Initializes a new instance of the SelectionEvent class.
|
Modifier and Type | Method and Description |
---|---|
AdjustmentHandle |
getAdjustmentHandle()
Gets the adjustment handle being moved by the user.
|
java.awt.geom.Point2D |
getPointerPosition()
Gets the current mouse pointer position.
|
Selection |
getSelection() |
public SelectionEvent(java.lang.Object source, java.awt.geom.Point2D mousePosition, AdjustmentHandle adjustmentHandle)
source
- The source of the event.mousePosition
- The position of the mouse cursor, in document coordinates.adjustmentHandle
- The adjustment handle being moved by the user.public AdjustmentHandle getAdjustmentHandle()
public java.awt.geom.Point2D getPointerPosition()
public Selection getSelection()