internal void Redraw(ISegment segment)
{
foreach (var view in _textViews)
{
view.Redraw(segment);
}
RedrawRequested?.Invoke(this, EventArgs.Empty);
}
internal void Redraw(ISegment segment)
{
foreach (var view in this.textViews)
{
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);
}
