|
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjpicedt.graphic.event.EditorKitEvent.EventType
public static class EditorKitEvent.EventType
typesafe enumeration of allowed event types
Field Summary | |
---|---|
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 |
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final EditorKitEvent.EventType ELEMENT_ENTERED
public static final EditorKitEvent.EventType ELEMENT_EXITED
public static final EditorKitEvent.EventType ELEMENT_CLICKED
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
|
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |