Beispiel #1
0
        internal FoldingManager(IDocument document, LineManager lineTracker)
        {
            this.document             = document;
            document.DocumentChanged += new DocumentEventHandler(DocumentChanged);

//			lineTracker.LineCountChanged  += new LineManagerEventHandler(LineManagerLineCountChanged);
//			lineTracker.LineLengthChanged += new LineLengthEventHandler(LineManagerLineLengthChanged);
//			foldMarker.Add(new FoldMarker(0, 5, 3, 5));
//
//			foldMarker.Add(new FoldMarker(5, 5, 10, 3));
//			foldMarker.Add(new FoldMarker(6, 0, 8, 2));
//
//			FoldMarker fm1 = new FoldMarker(10, 4, 10, 7);
//			FoldMarker fm2 = new FoldMarker(10, 10, 10, 14);
//
//			fm1.IsFolded = true;
//			fm2.IsFolded = true;
//
//			foldMarker.Add(fm1);
//			foldMarker.Add(fm2);
//			foldMarker.Sort();
        }
 /// <summary>
 /// Creates a new instance of <see cref="BookmarkManager"/>
 /// </summary>
 internal BookmarkManager(IDocument document, LineManager lineTracker)
 {
     this.document = document;
 }