/// <summary> /// Fired when the mouse selection must be canceled. See also MouseSelectionRange. /// </summary> /// <param name="e"></param> protected virtual void OnUndoMouseSelection(RangeEventArgs e) { Selection.SelectRange(e.Range, false); }
/// <summary> /// Fired when the mouse selection is succesfully finished. See also MouseSelectionRange. /// </summary> /// <param name="e"></param> protected virtual void OnApplyMouseSelection(RangeEventArgs e) { Selection.SelectRange(e.Range, true); }
/// <summary> /// Fired when the selection eith the mouse is finished /// </summary> /// <param name="e"></param> protected virtual void OnMouseSelectionFinish(RangeEventArgs e) { m_OldMouseSelectionRange = Range.Empty; }