/// <summary> /// Creates a new document and loads the given file. /// </summary> /// <param name="textBuffer">The text buffer.</param> /// <returns>The document.</returns> public IDocument CreateFromTextBuffer(ITextBufferStrategy textBuffer) { DefaultDocument doc = (DefaultDocument)CreateDocument(); doc.TextContent = textBuffer.GetText(0, textBuffer.Length); doc.TextBufferStrategy = textBuffer; return(doc); }
/// <summary> /// Creates a new document. /// </summary> /// <returns>The new document.</returns> public IDocument CreateDocument() { DefaultDocument document = new DefaultDocument(); document.TextBufferStrategy = new GapTextBufferStrategy(); document.FormattingStrategy = new DefaultFormattingStrategy(); document.LineManager = new LineManager(document, null); document.FoldingManager = new FoldingManager(document); document.FoldingManager.FoldingStrategy = null; document.MarkerStrategy = new MarkerStrategy(document); document.BookmarkManager = new BookmarkManager(document); return(document); }
/// <summary> /// Creates a new document. /// </summary> /// <returns>The new document.</returns> public IDocument CreateDocument() { DefaultDocument doc = new DefaultDocument(); doc.TextBufferStrategy = new GapTextBufferStrategy(); doc.FormattingStrategy = new DefaultFormattingStrategy(); doc.LineManager = new LineManager(doc, null); doc.FoldingManager = new FoldingManager(doc, doc.LineManager); doc.FoldingManager.FoldingStrategy = null; //new ParserFoldingStrategy(); doc.MarkerStrategy = new MarkerStrategy(doc); doc.BookmarkManager = new BookmarkManager(doc, doc.LineManager); doc.CustomLineManager = new CustomLineManager(doc.LineManager); return(doc); }