PLCOpenEditor.py
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