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) { }