--- a/IDEFrame.py	Wed Mar 20 11:34:41 2019 +0100
+++ b/IDEFrame.py	Thu Mar 21 13:04:26 2019 +0100
@@ -2561,7 +2561,7 @@
     # -------------------------------------------------------------------------------
 
     def ShowHighlight(self, infos, start, end, highlight_type):
-        print(infos)
+        print("ZZZZZZZZZZZZZ", infos, start, end, highlight_type)
         self.SelectProjectTreeItem(infos[0])
         if infos[1] == "name":
             self.Highlights[infos[0]] = highlight_type