--- a/controls/CustomTable.py	Wed Aug 01 12:44:51 2012 +0200
+++ b/controls/CustomTable.py	Fri Aug 10 00:32:05 2012 +0200
@@ -168,6 +168,15 @@
         col_highlights = row_highlights.setdefault(infos[1], [])
         col_highlights.append(highlight_type)
 
+    def RemoveHighlight(self, infos, highlight_type):
+        row_highlights = self.Highlights.get(infos[0])
+        if row_highlights is not None:
+            col_highlights = row_highlights.get(infos[1])
+            if col_highlights is not None and highlight_type in col_highlights:
+                col_highlights.remove(highlight_type)
+            if len(col_highlights) == 0:
+                row_highlights.pop(infos[1])
+
     def ClearHighlights(self, highlight_type=None):
         if highlight_type is None:
             self.Highlights = {}