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 TextLineVisual(TextEditor editor, int line)
{
this.editor = editor;
this.line = line;
}
public TopLineToTransformYConverter(TextEditor editor)
{
this.editor = editor;
}
public TextEditorTextRangeProvider(TextEditor editor, TextRange range)
{
this.editor = editor;
this.range = range;
}
public TextEditorTextPattern(TextEditor editor)
{
this.editor = editor;
}
public TextEditorAutomationPeer(TextEditor editor) : base(editor) { this.editor = editor; }
