public Layer(TextView textView, KnownLayer knownLayer) { Debug.Assert(textView != null); this.textView = textView; this.knownLayer = knownLayer; this.Focusable = false; }
public Layer(TextView textView, KnownLayer knownLayer) { Debug.Assert(textView != null); this.textView = textView; this.knownLayer = knownLayer; Focusable = false; }
public SearchResultsBackgroundRenderer() { Layer = KnownLayer.Selection; markerBrush = new SolidColorBrush(Colors.Orange); markerBrush.Opacity = 0.5; markerPen = new Pen(markerBrush, 1); }
public Layer(TextView textView, KnownLayer knownLayer) { Debug.Assert(textView != null); TextView = textView; KnownLayer = knownLayer; Focusable = false; IsHitTestVisible = false; }
public LayerPosition(KnownLayer knownLayer, LayerInsertionPosition position) { KnownLayer = knownLayer; Position = position; }
public LayerPosition(KnownLayer knownLayer, LayerInsertionPosition position) { this.KnownLayer = knownLayer; this.Position = position; }
public HighlightCurrentLineBackgroundRenderer(XmlEditor editor, KnownLayer layer = KnownLayer.Background) { _xmlEditor = editor; _editor = editor.Editor; _layer = layer; }