|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use DocumentListener | |
| gate | This package contains the public interface to the GATE Java API. |
| gate.corpora | |
| gate.gui | |
| gate.gui.docview | |
| 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. |
| Uses of DocumentListener in gate.gui.docview |
| Classes in gate.gui.docview that implement DocumentListener | |
class |
AnnotationSetsView
|
class |
CorefEditor
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||