public void Redraw(IHighlightedRange segment)
{
foreach (var view in _textViews)
{
view.Redraw(segment, DispatcherPriority.Normal);
}
}
public void RemoveRange(IHighlightedRange range)
{
if (!(range is HighlightedRange))
throw new ArgumentException("range is not of type HighlightedRange");
HighlightedRange hr = range as HighlightedRange;
if (_highlights.Remove(hr))
{
Redraw(hr);
}
}
