/// <summary> /// Redraws the specified text segment. /// </summary> internal void Redraw(ISegment segment) { foreach (var view in _textViews) { view.Redraw(segment); } RedrawRequested?.Invoke(this, EventArgs.Empty); }
/// <summary>Redraws the specified text segment.</summary> internal void Redraw(ISegment segment) { foreach (var view in m_text_views) { view.Redraw(segment, DispatcherPriority.Normal); } RedrawRequested?.Invoke(this, EventArgs.Empty); }
internal void Update(int delta, DocumentChangeEventArgs e) { // assumption is that the block is equal in both sides. string output = this.effectiveResult; if (e.InsertionLength > 0) { output = output.Insert(delta, e.InsertedText.Text); } if (e.RemovalLength > 0) { output = output.Remove(delta, e.RemovalLength); } effectiveResult = output; RedrawRequested?.Invoke(this, EventArgs.Empty); }
/// <summary> /// Redraws the specified text segment. /// </summary> internal void Redraw(ISegment segment) { textView.Redraw(segment, DispatcherPriority.Normal); RedrawRequested?.Invoke(this, EventArgs.Empty); }
private void Result_RedrawRequested(object sender, EventArgs e) { RedrawRequested?.Invoke(this, EventArgs.Empty); }