void OnDocumentChanged(TextDocument oldValue, TextDocument newValue)
{
if (oldValue != null) {
TextDocumentWeakEventManager.Changing.RemoveListener(oldValue, this);
TextDocumentWeakEventManager.Changed.RemoveListener(oldValue, this);
TextDocumentWeakEventManager.UpdateStarted.RemoveListener(oldValue, this);
}
if (newValue != null) {
TextDocumentWeakEventManager.Changing.AddListener(newValue, this);
TextDocumentWeakEventManager.Changed.AddListener(newValue, this);
TextDocumentWeakEventManager.UpdateStarted.AddListener(newValue, this);
}
CommandManager.InvalidateRequerySuggested();
}
protected virtual void OnDocumentChanged(TextDocument oldDocument, TextDocument newDocument)
{
//TODO: AbstractMargin.OnDocumentChanged()
throw new NotImplementedException();
}
public TextAnchorTree(TextDocument document)
{
}
public DocumentHighlighter(TextDocument document, HighlightingRuleSet ruleSet)
{
}
public HeightTree(TextDocument document, double defaultLineHeight)
{
}
internal DocumentLine(TextDocument document)
{
}
public DocumentChangeOperation(TextDocument document, int offset, string removedText, string insertedText)
{
}
public AnchorSegment(TextDocument document, int offset, int length)
{
}
TextDocument GetOrCreateDocument()
{
var doc = this.Document;
if (doc == null) {
doc = new TextDocument();
this.Document = doc;
}
return doc;
}
public FoldingManager(TextView textView, TextDocument document)
{
this.textView = textView;
this.document = document;
}
public AnchorSegment(TextDocument document, ISegment segment)
: this(document, segment.Offset, segment.Length)
{
}
public virtual string GetText(TextDocument document)
{
//TODO: Selection.GetText()
throw new NotImplementedException();
}
public virtual bool GetIsMultiline(TextDocument document)
{
//TODO: Selection.GetIsMultiline()
throw new NotImplementedException();
}
public TextAnchor(TextDocument document)
{
}
internal void AttachToDocument(TextDocument document)
{
//TODO: UndoStack.AttachToDocument()
throw new NotImplementedException();
}
public ChangeBlock(TextDocument document)
{
this.document = document;
document.BeginUpdate();
}
protected override void OnDocumentChanged(TextDocument oldDocument, TextDocument newDocument)
{
base.OnDocumentChanged(oldDocument, newDocument);
}
public WeakLineTracker(TextDocument document, ILineTracker tracker)
{
}
public LineManager(GapTextBuffer textBuffer, DocumentLineTree documentLineTree, TextDocument document)
{
}
public TextViewDocumentHighlighter(HighlightingColorizer colorizer, TextDocument document, HighlightingRuleSet ruleSet)
: base(document, ruleSet)
{
}