|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EditorKitEvent.EventType | |
---|---|
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 | |
---|---|
static EditorKitEvent.EventType |
EditorKitEvent.EventType.ELEMENT_CLICKED
signals that the user clicked on a graphic element [SR:pending] change name to ON_MOUSE_CLICK ? |
static EditorKitEvent.EventType |
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 |
EditorKitEvent.EventType.ELEMENT_EXITED
signals that the mouse-cursor exited the sensitive area of a graphic element |
Methods in jpicedt.graphic.event that return EditorKitEvent.EventType | |
---|---|
EditorKitEvent.EventType |
EditorKitEvent.getType()
Return the type of this event |
Constructors in jpicedt.graphic.event with parameters of type EditorKitEvent.EventType | |
---|---|
EditorKitEvent(EditorKit source,
EditorKitEvent.EventType type,
HitInfo hitInfo)
contruct a new EditorKitEvent. |
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |