Example #1
0
		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);
		}
Example #2
0
 void EditorCarethandlePositionChanged(object sender, DocumentLocationEventArgs e)
 {
     if (!editor.GetTextEditorData().HighlightCaretLine || e.Location.Line == editor.Caret.Line)
     {
         return;
     }
     editor.RedrawMarginLine(this, e.Location.Line);
     editor.RedrawMarginLine(this, editor.Caret.Line);
 }
Example #3
0
 void HandlePositionChanged(object sender, MonoDevelop.Ide.Editor.DocumentLocationEventArgs e)
 {
     if (e.Location.Line == editor.Caret.Line)
     {
         return;
     }
     editor.RedrawMarginLine(this, e.Location.Line);
     editor.RedrawMarginLine(this, editor.Caret.Line);
 }