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 Deprecated. The listener for the events coming from the document (annotations and annotation sets added or removed).