editors/CodeFileEditor.py
changeset 1649 3291024e00da
parent 1556 32e9d0ef30dc
child 1658 ba6a6d6e989c
--- a/editors/CodeFileEditor.py	Thu Feb 16 14:34:40 2017 +0500
+++ b/editors/CodeFileEditor.py	Thu Feb 16 14:35:12 2017 +0500
@@ -506,17 +506,11 @@
             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 = [
                 (start, end, SEARCH_RESULT_HIGHLIGHT)
                 for start, end, text in
-                TestTextElement(self.GetText(), criteria)]
+                TestTextElement(self.GetText(), search_params)]
             self.CurrentFindHighlight = None
 
         if len(self.SearchResults) > 0: