/// <summary> /// Jumps to a given position in the document. /// </summary> /// <param name="line">The line.</param> /// <param name="column">The column.</param> public void JumpTo(int line, int column) { _textArea.Focus(); _textArea.SelectionManager.ClearSelection(); _textArea.Caret.Position = new TextLocation(column, line); _textArea.SetDesiredColumn(); ScrollToCaret(); }
void TextAreaClick(object sender, EventArgs e) { Point mousepos = _textArea.MousePositionInternal; if (_doDragDrop) { return; } if (_clickedOnSelectedText && _textArea.TextView.DrawingPosition.Contains(mousepos.X, mousepos.Y)) { _textArea.SelectionManager.ClearSelection(); TextLocation clickPosition = _textArea.TextView.GetLogicalPosition(mousepos.X - _textArea.TextView.DrawingPosition.X, mousepos.Y - _textArea.TextView.DrawingPosition.Y); _textArea.Caret.Position = clickPosition; _textArea.SetDesiredColumn(); } }