public static class EditorKitEvent.EventType
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static EditorKitEvent.EventType |
ELEMENT_CLICKED
signals that the user clicked on a graphic element
[SR:pending] change name to ON_MOUSE_CLICK ?
|
static 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 |
ELEMENT_EXITED
signals that the mouse-cursor exited the sensitive area of a graphic element
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString()
Return the name of this event type ; this can be used by a GUI, but it's in english, so
it needs to be localized.
|
public static final EditorKitEvent.EventType ELEMENT_ENTERED
public static final EditorKitEvent.EventType ELEMENT_EXITED
public static final EditorKitEvent.EventType ELEMENT_CLICKED
Submit a bug : syd@jpicedt.org