--- a/Viewer.py	Sun Jan 08 19:16:58 2012 +0100
+++ b/Viewer.py	Sun Jan 08 19:19:42 2012 +0100
@@ -2874,6 +2874,8 @@
         event.Skip()
 
     def ClearHighlights(self, highlight_type=None):
+        EditorPanel.ClearHighlights(self, highlight_type)
+        
         if highlight_type is None:
             self.Highlights = []
         else:
@@ -2881,6 +2883,8 @@
         self.RefreshView()
 
     def AddHighlight(self, infos, start, end, highlight_type):
+        EditorPanel.AddHighlight(self, infos, start, end, highlight_type)
+        
         self.Highlights.append((infos, start, end, highlight_type))
         self.RefreshHighlightsTimer.Start(int(REFRESH_HIGHLIGHT_PERIOD * 1000), oneShot=True)