Package | Description |
---|---|
jpicedt.graphic.event |
Various events used for the communication between model, view and controler, as well as to
notify external receivers of changes
in the document structure, appearance,...
|
Modifier and Type | Field and Description |
---|---|
static EditorKitEvent.EventType |
EditorKitEvent.EventType.ELEMENT_CLICKED
signals that the user clicked on a graphic element
[SR:pending] change name to ON_MOUSE_CLICK ?
|
static EditorKitEvent.EventType |
EditorKitEvent.EventType.ELEMENT_ENTERED
signal that the mouse-cursor entered the sensitive area of a graphic element
[SR:pending] change name to ON_MOUVE_OVER to conform to W3C's DOM for XML-SVG ?
|
static EditorKitEvent.EventType |
EditorKitEvent.EventType.ELEMENT_EXITED
signals that the mouse-cursor exited the sensitive area of a graphic element
|
Modifier and Type | Method and Description |
---|---|
EditorKitEvent.EventType |
EditorKitEvent.getType()
Return the type of this event
|
Constructor and Description |
---|
EditorKitEvent(EditorKit source,
EditorKitEvent.EventType type,
HitInfo hitInfo)
contruct a new EditorKitEvent.
|
Submit a bug : syd@jpicedt.org