public TextEditorDocumentWrapper()
{
//Document = (new DocumentFactory()).CreateDocument();
//Document.HighlightingStrategy = HighlightingStrategyFactory.CreateHighlightingStrategy();
Document = TheOneAndOnly.Document;
// remove other listeners
//RemoveAllChangedHandlers();
if (PreviousInstance != null)
PreviousInstance.Dispose();
PreviousInstance = this;
TheOneAndOnly.ResetText();
Document.UndoStack.ClearAll();
TheOneAndOnly.Refresh();
Document.DocumentChanged += new DocumentEventHandler(Document_DocumentChanged);
}
public TextEditorDocumentWrapper()
{
//Document = (new DocumentFactory()).CreateDocument();
//Document.HighlightingStrategy = HighlightingStrategyFactory.CreateHighlightingStrategy();
Document = TheOneAndOnly.Document;
// remove other listeners
//RemoveAllChangedHandlers();
if (PreviousInstance != null)
{
PreviousInstance.Dispose();
}
PreviousInstance = this;
TheOneAndOnly.ResetText();
Document.UndoStack.ClearAll();
TheOneAndOnly.Refresh();
Document.DocumentChanged += new DocumentEventHandler(Document_DocumentChanged);
}