Package | Description |
---|---|
gate.gui.docview |
Modifier and Type | Field and Description |
---|---|
protected Map<AnnotationData,TextualDocumentView.HighlightData> |
TextualDocumentView.blinkingTagsForAnnotations
The annotations used for blinking highlights and their tags.
|
protected List<TextualDocumentView.HighlightData> |
TextualDocumentView.highlightsToAdd
This list stores the
TextualDocumentView.HighlightData
values for annotations pending highlighting |
protected List<TextualDocumentView.HighlightData> |
TextualDocumentView.highlightsToRemove
This list stores the
TextualDocumentView.HighlightData
values for highlights that need to be removed |
Modifier and Type | Method and Description |
---|---|
TextualDocumentView.HighlightData |
TextualDocumentView.addHighlight(AnnotationData aData,
Color colour) |
Modifier and Type | Method and Description |
---|---|
List<TextualDocumentView.HighlightData> |
TextualDocumentView.addHighlights(Collection<AnnotationData> annotations,
Color colour)
Adds several highlights in one go.
|
Modifier and Type | Method and Description |
---|---|
void |
TextualDocumentView.removeHighlight(TextualDocumentView.HighlightData tag) |
Modifier and Type | Method and Description |
---|---|
void |
TextualDocumentView.addHighlights(List<TextualDocumentView.HighlightData> list)
Same as
TextualDocumentView.addHighlights(java.util.Collection, java.awt.Color) but
without the intermediate creation of HighlightData objects. |
void |
TextualDocumentView.removeHighlights(Collection<TextualDocumentView.HighlightData> tags)
Removes several highlights in one go.
|
Copyright © 2024 GATE. All rights reserved.