|
||||||||||
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). |
Constructors in gate.gui with parameters of type DocumentEditor.EventsHandler | |
DocumentEditor.EventsHandler.HighlightsRemover(Annotation ann)
|
|
DocumentEditor.EventsHandler.HihglightsShower(Annotation ann,
Style style)
|
|
DocumentEditor.EventsHandler.NodeRemover(DefaultMutableTreeNode node)
|
|
DocumentEditor.EventsHandler.NodeAdder(DocumentEditor.TypeData tData)
|
|
DocumentEditor.EventsHandler.SetRemovedOperation(String setName)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |