Uses of Class
gate.gui.DocumentEditor.EventsHandler

Packages that use DocumentEditor.EventsHandler
gate.gui   
 

Uses of DocumentEditor.EventsHandler in gate.gui
 

Fields in gate.gui declared as DocumentEditor.EventsHandler
protected  DocumentEditor.EventsHandler DocumentEditor.eventHandler
          The listener for the events coming from the document (annotations and annotation sets added or removed).