public void MouseSelectionFinish() { if (m_MouseSelectionRange != Range.Empty) OnMouseSelectionFinish(new RangeEventArgs(m_OldMouseSelectionRange)); m_MouseSelectionRange = Range.Empty; }