internal BookmarkManager(IDocument document, LineManager lineTracker) { this.document = document; }
internal FoldingManager(IDocument document, LineManager lineTracker) { this.document = document; document.DocumentChanged += new DocumentEventHandler(DocumentChanged); }