diff -r dac6002ff58e -r 32e9d0ef30dc editors/TextViewer.py --- a/editors/TextViewer.py Fri Oct 28 17:21:42 2016 +0300 +++ b/editors/TextViewer.py Fri Oct 28 18:11:43 2016 +0300 @@ -810,17 +810,10 @@ self.ClearHighlights(SEARCH_RESULT_HIGHLIGHT) self.SearchParams = search_params - criteria = { - "raw_pattern": search_params["find_pattern"], - "pattern": re.compile(search_params["find_pattern"]), - "case_sensitive": search_params["case_sensitive"], - "regular_expression": search_params["regular_expression"], - "filter": "all"} - self.SearchResults = [ (infos[1:], start, end, SEARCH_RESULT_HIGHLIGHT) for infos, start, end, text in - self.Search(criteria)] + self.Search(search_params)] self.CurrentFindHighlight = None if len(self.SearchResults) > 0: