Uses of Class
gate.gui.docview.TextualDocumentView.HighlightData

Packages that use TextualDocumentView.HighlightData

gate.gui.docview

Uses of TextualDocumentView.HighlightData in gate.gui.docview

Fields in gate.gui.docview with type parameters of type TextualDocumentView.HighlightData

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

Method parameters in gate.gui.docview with type arguments of type TextualDocumentView.HighlightData

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.