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