void (boolean toSelect) { if (isFinished()) { return; } if (myCurrentVariableNumber >= myTabStopHighlighters.size()) { return; } RangeHighlighter segmentHighlighter = myTabStopHighlighters.get(myCurrentVariableNumber); if (segmentHighlighter != null) { final int segmentNumber = getCurrentSegmentNumber(); RangeHighlighter newSegmentHighlighter = getSegmentHighlighter(segmentNumber, getTemplate().getVariables().get(myCurrentVariableNumber), toSelect, false); segmentHighlighter.dispose(); myTabStopHighlighters.set(myCurrentVariableNumber, newSegmentHighlighter); } }