controls/SearchResultPanel.py
changeset 1739 ec153828ded2
parent 1736 7e61baa047f0
child 1744 69dfdb26f600
--- a/controls/SearchResultPanel.py	Mon Aug 14 23:38:28 2017 +0300
+++ b/controls/SearchResultPanel.py	Tue Aug 15 12:17:51 2017 +0300
@@ -219,7 +219,7 @@
                             child_name = GenerateName(infos[3:])
                     child_infos = {"name": child_name,
                                    "type": child_type,
-                                   "data": (infos, start, end ,None),
+                                   "data": (infos, start, end, None),
                                    "text": text,
                                    "matches": 1,
                                    "children": [],