java.lang.Object
jpicedt.graphic.event.EditorKitEvent.EventType
- Enclosing class:
- EditorKitEvent
- public static class EditorKitEvent.EventType
- extends java.lang.Object
list of allowed event types
- Since:
- jPicEdt 1.3.2
name
private java.lang.String name
ELEMENT_ENTERED
public static final EditorKitEvent.EventType ELEMENT_ENTERED
- signal that the mouse-cursor entered the sensitive area of a graphic element
[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
[pending] change name to ON_MOUVE_CLICK
EditorKitEvent.EventType
private EditorKitEvent.EventType(java.lang.String s)
toString
public java.lang.String toString()
- Description copied from class:
java.lang.Object
- Convert this Object to a human-readable String.
There are no limits placed on how long this String
should be or what it should contain. We suggest you
make it as intuitive as possible to be able to place
it into System.out.println() 55
and such.
It is typical, but not required, to ensure that this method
never completes abruptly with a java.lang.RuntimeException.
This method will be called when performing string
concatenation with this object. If the result is
null
, string concatenation will instead
use "null"
.
The default implementation returns
getClass().getName() + "@" +
Integer.toHexString(hashCode())
.