changeset 571 | 79af7b821233 |
parent 570 | 37ba389e5c01 |
child 575 | a7c706b9492e |
--- a/PLCOpenEditor.py Sun Oct 09 23:31:50 2011 +0200 +++ b/PLCOpenEditor.py Mon Oct 10 02:22:26 2011 +0200 @@ -2445,7 +2445,6 @@ #------------------------------------------------------------------------------- def ShowHighlight(self, infos, start, end, highlight_type): - print infos, start, end, highlight_type self.SelectTypesTreeItem(infos[0]) if infos[1] == "name": self.Highlights[infos[0]] = highlight_type