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