public override void RemoveHighlightRange(HighlightRange highlightRange)
{
if (this.formatter.highlightRanges.Remove(highlightRange))
{
this.changed = true;
}
}
public override HighlightRange AddHighlightRange(TextRange range)
{
var highlightRange = new HighlightRange(this.formatter.Buffer, range);
this.formatter.highlightRanges.Add(highlightRange);
this.changed = true;
return(highlightRange);
}
public HighlightVisual(TextEditor editor, HighlightRange range)
{
this.editor = editor;
this.Range = range;
range.RangeChanged += OnRangeChanged;
this.SetBinding(StrokeProperty, new Binding { Source = range, Path = new PropertyPath(HighlightRange.StrokeProperty) });
this.SetBinding(StrokeThicknessProperty, new Binding { Source = range, Path = new PropertyPath(HighlightRange.StrokeThicknessProperty) });
this.SetBinding(FillProperty, new Binding { Source = range, Path = new PropertyPath(HighlightRange.FillProperty) });
}
public abstract void RemoveHighlightRange(HighlightRange range);
public override void RemoveHighlightRange(HighlightRange highlightRange)
{
if (this.formatter.highlightRanges.Remove(highlightRange))
{
this.changed = true;
}
}
public override HighlightRange AddHighlightRange(TextRange range)
{
var highlightRange = new HighlightRange(this.formatter.Buffer, range);
this.formatter.highlightRanges.Add(highlightRange);
this.changed = true;
return highlightRange;
}
public abstract void RemoveHighlightRange(HighlightRange range);
