public static interface Highlighter.Highlight
int
getEndOffset()
Highlighter.HighlightPainter
getPainter()
getStartOffset()
int getStartOffset()
int getEndOffset()
Highlighter.HighlightPainter getPainter()
Scripting on this page tracks web page traffic, but does not change the content in any way.