public class SelectionEvent
extends java.util.EventObject
javax.swing.event.CaretEvent)| Modifier and Type | Class and Description |
|---|---|
static class |
SelectionEvent.EventType
enumeration for SelectionEvent types
|
| Modifier and Type | Field and Description |
|---|---|
protected Element[] |
elements
the elements that were (un)selected
|
protected SelectionEvent.EventType |
type
the event type
|
| Constructor and Description |
|---|
SelectionEvent(PECanvas source,
Element[] elements,
SelectionEvent.EventType type)
a new SelectionEvent sourced from the given PECanvas
Use this constructor when several elements were (un)selected.
|
SelectionEvent(PECanvas source,
Element element,
SelectionEvent.EventType type)
a new SelectionEvent sourced from the given PECanvas.
|
| Modifier and Type | Method and Description |
|---|---|
Element[] |
getElements()
Return the graphic elements that got selected/unselected.
|
SelectionEvent.EventType |
getType()
Return the event type
|
java.lang.String |
toString()
a textual representation of this event
|
protected SelectionEvent.EventType type
protected Element[] elements
public SelectionEvent(PECanvas source, Element[] elements, SelectionEvent.EventType type)
source - the originator of the eventelements - the elements that were (un)selectedthe - event typepublic SelectionEvent(PECanvas source, Element element, SelectionEvent.EventType type)
source - the originator of the eventelement - the element that was (un)selectedthe - event typepublic Element[] getElements()
public SelectionEvent.EventType getType()
public java.lang.String toString()
toString in class java.util.EventObjectSubmit a bug : syd@jpicedt.org