Uses of Class
jpicedt.graphic.event.EditorKitEvent.EventType
-
Packages that use EditorKitEvent.EventType 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,... -
-
Uses of EditorKitEvent.EventType in jpicedt.graphic.event
Fields in jpicedt.graphic.event declared as EditorKitEvent.EventType Modifier and Type Field Description static EditorKitEvent.EventTypeEditorKitEvent.EventType. ELEMENT_CLICKEDsignals that the user clicked on a graphic element [SR:pending] change name to ON_MOUSE_CLICK ?static EditorKitEvent.EventTypeEditorKitEvent.EventType. ELEMENT_ENTEREDsignal 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.EventTypeEditorKitEvent.EventType. ELEMENT_EXITEDsignals that the mouse-cursor exited the sensitive area of a graphic elementMethods in jpicedt.graphic.event that return EditorKitEvent.EventType Modifier and Type Method Description EditorKitEvent.EventTypeEditorKitEvent. getType()Return the type of this eventConstructors in jpicedt.graphic.event with parameters of type EditorKitEvent.EventType Constructor Description EditorKitEvent(EditorKit source, EditorKitEvent.EventType type, HitInfo hitInfo)contruct a new EditorKitEvent.
-