editors/TextViewer.py
changeset 1556 32e9d0ef30dc
parent 1548 3ebc08f75fef
child 1571 486f94a8032c
--- 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: