/// <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);
}
