_base_font = new Font( Configuration.getDefaultFontFamilyName(), Font.PLAIN, 10 );
_match_whole_terms_only = false;
_search_with_regex = false;
_base_font = new Font( Configuration.getDefaultFontFamilyName(), Font.PLAIN, 10 );
_match_whole_terms_only = false;
_search_with_regex = false;