//========================================================================================
// DoCaretChanged()
// Inform the query window that the caret position has changed.
//========================================================================================
private void DoCaretChanged(object sender, CaretChangedEventArgs e)
{
if (CaretChanged != null)
{
CaretChanged(sender, e);
}
}
//========================================================================================
// Handlers
//========================================================================================
#region Handlers
private void DoCaretChanged(object sender, CaretChangedEventArgs e)
{
caretStatus.Text = String.Format(RxCaretStatusText, e.Line, e.Column);
caretStatus.ToolTipText = String.Format(RxCaretStatusTooltip, e.Line, e.Column);
}
