| 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.