void HandlePositionChanged(object sender, DocumentLocationEventArgs e) { if (e.Location.Line == editor.Caret.Line) { return; } editor.RedrawMarginLine(this, e.Location.Line); editor.RedrawMarginLine(this, editor.Caret.Line); }
void EditorCarethandlePositionChanged(object sender, DocumentLocationEventArgs e) { if (!editor.Options.HighlightCaretLine || e.Location.Line == editor.Caret.Line) { return; } editor.RedrawMarginLine(this, e.Location.Line); editor.RedrawMarginLine(this, editor.Caret.Line); }