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); }