|
||||||||||
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)
|
void |
Document.removeDocumentListener(DocumentListener l)
|
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 |
AnnotationEditor.DelayedListener
Used to process a bunch of events after they happened. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |