editors/Viewer.py
changeset 1556 32e9d0ef30dc
parent 1544 2969c2123105
child 1567 a4bf874e4949
--- a/editors/Viewer.py	Fri Oct 28 17:21:42 2016 +0300
+++ b/editors/Viewer.py	Fri Oct 28 18:11:43 2016 +0300
@@ -3408,16 +3408,9 @@
             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 = []
             blocks = []
-            for infos, start, end, text in self.Controler.SearchInPou(self.TagName, criteria, self.Debug):
+            for infos, start, end, text in self.Controler.SearchInPou(self.TagName, search_params, self.Debug):
                 if infos[1] in ["var_local", "var_input", "var_output", "var_inout"]:
                     self.SearchResults.append((infos[1:], start, end, SEARCH_RESULT_HIGHLIGHT))
                 else: