Summary:
Detail:
Highlighter
int
getEndOffset()
Highlighter.HighlightPainter
getPainter()
getStartOffset()