editors/CodeFileEditor.py
changeset 1556 32e9d0ef30dc
parent 1511 91538d0c242c
child 1658 ba6a6d6e989c
--- a/editors/CodeFileEditor.py	Fri Oct 28 17:21:42 2016 +0300
+++ b/editors/CodeFileEditor.py	Fri Oct 28 18:11:43 2016 +0300
@@ -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: