+ else if ( o == _search_with_regex_cbmi ) {
+ if ( ( _search_whole_words_only_cbmi != null ) && _search_with_regex_cbmi.isSelected() ) {
+ _search_whole_words_only_cbmi.setSelected( false );
+ }
+ if ( ( _search_case_senstive_cbmi != null ) && _search_with_regex_cbmi.isSelected() ) {
+ _search_case_senstive_cbmi.setSelected( true );
+ }
+ updateOptions( getOptions() );
+ getMainPanel().getControlPanel().search0();
+ getMainPanel().getControlPanel().search1();
+ }