|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DocumentListener | |
gate | |
gate.corpora | |
gate.gui |
Uses of DocumentListener in gate |
Methods in gate with parameters of type DocumentListener | |
void |
Document.addDocumentListener(DocumentListener l)
Adds a DocumentListener to this document. |
void |
Document.removeDocumentListener(DocumentListener l)
Removes one of the previously registered document listeners. |
Uses of DocumentListener in gate.corpora |
Methods in gate.corpora with parameters of type DocumentListener | |
void |
DocumentImpl.removeDocumentListener(DocumentListener l)
|
void |
DocumentImpl.addDocumentListener(DocumentListener l)
|
Uses of DocumentListener in gate.gui |
Classes in gate.gui that implement DocumentListener | |
(package private) class |
DocumentEditor.EventsHandler
All the events from the document or its annotation sets are handled by this inner class. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |