Uses of Interface
gate.event.DocumentListener

Packages that use DocumentListener

gate	This package contains the public interface to the GATE Java API.
gate.corpora
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.addDocumentListener(DocumentListener l)
void	DocumentImpl.removeDocumentListener(DocumentListener l)

Uses of DocumentListener in gate.gui.docview

Classes in gate.gui.docview that implement DocumentListener

class	AnnotationSetsView
class	CorefEditor