diff -r 9812b332f350 -r 450c6239ee75 editors/CodeFileEditor.py
--- a/editors/CodeFileEditor.py	Thu Mar 21 13:04:26 2019 +0100
+++ b/editors/CodeFileEditor.py	Thu Mar 21 13:10:49 2019 +0100
@@ -936,13 +936,13 @@
         if self.VariablesPanel is not None and infos[0] == "var_inout":
             self.VariablesPanel.AddVariableHighlight(infos[1:], highlight_type)
         else:
-            self.CodeEditor.AddHighlight(infos, start, end, highlight_type)
+            self.CodeEditor.AddHighlight(start, end, highlight_type)
 
     def RemoveHighlight(self, infos, start, end, highlight_type):
         if self.VariablesPanel is not None and infos[0] == "var_inout":
             self.VariablesPanel.RemoveVariableHighlight(infos[1:], highlight_type)
         else:
-            self.CodeEditor.RemoveHighlight(infos, start, end, highlight_type)
+            self.CodeEditor.RemoveHighlight(start, end, highlight_type)
 
     def ClearHighlights(self, highlight_type=None):
         if self.VariablesPanel is not None: