public interface DocumentListener extends EventListener
DocumentEvent
).Modifier and Type | Method and Description |
---|---|
void |
annotationSetAdded(DocumentEvent e)
Called when a new
AnnotationSet has been added |
void |
annotationSetRemoved(DocumentEvent e)
Called when an
AnnotationSet has been removed |
void |
contentEdited(DocumentEvent e)
Called when the content of the document has changed through an edit
operation.
|
void annotationSetAdded(DocumentEvent e)
AnnotationSet
has been addedvoid annotationSetRemoved(DocumentEvent e)
AnnotationSet
has been removedvoid contentEdited(DocumentEvent e)
Copyright © 2024 GATE. All rights reserved.