Uses of Interface
gate.event.DocumentListener

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.