|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DocumentEditor.EventsHandler | |
gate.gui |
Uses of DocumentEditor.EventsHandler in gate.gui |
Fields in gate.gui declared as DocumentEditor.EventsHandler | |
protected DocumentEditor.EventsHandler |
DocumentEditor.eventHandler
The listener for the events coming from the document (annotations and annotation sets added or removed). |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |