public interface AnnotationEditorOwner
OwnedAnnotationEditor
.Modifier and Type | Method and Description |
---|---|
void |
annotationChanged(Annotation ann,
AnnotationSet set,
String oldType)
Called by the annotation editor when an annotation has been
changed.
|
Document |
getDocument()
Gets the document currently being edited.
|
Annotation |
getNextAnnotation()
Called by the editor for obtaining the next annotation to be edited.
|
Annotation |
getPreviousAnnotation()
Called by the editor for obtaining the previous annotation to be edited.
|
JTextComponent |
getTextComponent()
Gets the UI component used to display the document text.
|
void |
selectAnnotation(AnnotationData aData)
Called by the editor when a new annotation needs to be selected.
|
Document getDocument()
Document
object.JTextComponent getTextComponent()
JTextComponent
object.void annotationChanged(Annotation ann, AnnotationSet set, String oldType)
ann
- the annotation modified (after the modification occurred).set
- the parent annotation set for the annotationoldType
- the old type of the annotation. This value is only set if
the annotation modification included a change of type.void selectAnnotation(AnnotationData aData)
Annotation getNextAnnotation()
Annotation
value.Annotation getPreviousAnnotation()
Annotation
value.Copyright © 2024 GATE. All rights reserved.