--- a/editors/ResourceEditor.py	Tue Dec 11 01:19:42 2012 +0100
+++ b/editors/ResourceEditor.py	Wed Dec 19 13:29:38 2012 +0100
@@ -458,6 +458,8 @@
         event.Skip()
     
     def AddHighlight(self, infos, start, end, highlight_type):
+        EditorPanel.AddHighlight(self, infos, start, end, highlight_type)
+        
         if infos[0] == "task":
             self.TasksTable.AddHighlight(infos[1:], highlight_type)
         elif infos[0] == "instance":