Package jpicedt.graphic.event

Class EditorKitEvent.EventType

java.lang.Object

jpicedt.graphic.event.EditorKitEvent.EventType

Enclosing class:

EditorKitEvent

public static class EditorKitEvent.EventType
extends java.lang.Object

typesafe enumeration of allowed event types

Field Summary

Fields

Modifier and Type	Field	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

Method Summary

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

ELEMENT_ENTERED

public static final 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 ?

ELEMENT_EXITED

public static final EditorKitEvent.EventType ELEMENT_EXITED

signals that the mouse-cursor exited the sensitive area of a graphic element

ELEMENT_CLICKED

public static final EditorKitEvent.EventType ELEMENT_CLICKED

signals that the user clicked on a graphic element [SR:pending] change name to ON_MOUSE_CLICK ?

Method Detail

toString

public 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.

Overrides:

toString in class java.lang.Object