|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DocumentEvent | |
gate.corpora | |
gate.event | |
gate.gui |
Uses of DocumentEvent in gate.corpora |
Methods in gate.corpora with parameters of type DocumentEvent | |
protected void |
DocumentImpl.fireAnnotationSetAdded(DocumentEvent e)
|
protected void |
DocumentImpl.fireAnnotationSetRemoved(DocumentEvent e)
|
Uses of DocumentEvent in gate.event |
Methods in gate.event with parameters of type DocumentEvent | |
void |
DocumentListener.annotationSetAdded(DocumentEvent e)
Called when a new AnnotationSet has been added |
void |
DocumentListener.annotationSetRemoved(DocumentEvent e)
Called when an AnnotationSet has been removed |
Uses of DocumentEvent in gate.gui |
Methods in gate.gui with parameters of type DocumentEvent | |
void |
AnnotationEditor.DelayedListener.annotationSetAdded(DocumentEvent e)
|
void |
AnnotationEditor.DelayedListener.annotationSetRemoved(DocumentEvent e)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |