public LineManager(GapTextBuffer textBuffer, DocumentLineTree documentLineTree, TextDocument document) { this.document = document; this.textBuffer = textBuffer; this.documentLineTree = documentLineTree; this.lineTrackers = document.LineTrackers.ToArray(); }