public void paintHighlighters(EditorHighlighter highlighter) {
int startOffset = startOfLineByOffset(myStartOffset);
if (startOffset < 0 || startOffset >= myEditor.getDocument().getTextLength()) return;
RangeIterator iterator =
new RangeIterator(
new FoldingOrNewLineGaps(myEditor),
SAME_COLOR_BOXES,
highlighter.createIterator(startOffset),
BOX_FILTER);
iterator.init(myRange);
while (!iterator.atEnd()) {
iterator.advance();
paintBorder(
myGraphics,
myEditor,
iterator.getStart(),
iterator.getEnd(),
iterator.getTextAttributes().getEffectColor(),
iterator.getTextAttributes().getEffectType());
}
}
