|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EditorKitEvent | |
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 in jpicedt.graphic.event |
Methods in jpicedt.graphic.event with parameters of type EditorKitEvent | |
void |
EditorKitListener.editorKitUpdate(EditorKitEvent e)
called by the sourcing EditorKit to signal a change |
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |