/// <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();
}
}
