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