private void RichTextBox_SelectionChanged(object sender, EventArgs e) { var richTextBox = (RichTextBox)sender; if (richTextBox == null) { return; } if (_tabSearchEngine != null && !_tabSearchEngine.SelectionSetByCode) { _tabSearchEngine.ResetSearchState(_logicManager.ActivePageIndex, richTextBox.SelectionStart, richTextBox.SelectionLength); } }
private void RichTextBox_SelectionChanged(object sender, EventArgs e) { var richTextBox = sender as RichTextBox; if (richTextBox == null) { return; } if (_tabSearchEngine != null && !_tabSearchEngine.SelectionSetByCode) { _tabSearchEngine.ResetSearchState(_tabPageDataCollection.ActiveTabIndex, richTextBox.SelectionStart, richTextBox.SelectionLength); } }