void RunHighlighter(int firstLine, int lineCount)
{
if (_highlightingStrategy != null)
{
List <LineSegment> markLines = new List <LineSegment>();
LineSegmentTree.Enumerator it = _lineSegments.GetEnumeratorForIndex(firstLine);
for (int i = 0; i < lineCount && it.IsValid; i++)
{
markLines.Add(it.Current);
it.MoveNext();
}
_highlightingStrategy.MarkTokens(_document, markLines);
}
}
public void MarkTokens(IDocument document)
{
SetDocument(document);
_inner.MarkTokens(document);
}