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