Fix bug with highlighting in ConfigurationEditor
authorlaurent
Thu, 20 Oct 2011 00:05:38 +0200
changeset 579 bc333e073aa3
parent 578 73138d14d88d
child 580 ad996deb920e
Fix bug with highlighting in ConfigurationEditor
RessourceEditor.py
--- a/RessourceEditor.py	Tue Oct 18 22:20:10 2011 +0200
+++ b/RessourceEditor.py	Thu Oct 20 00:05:38 2011 +0200
@@ -72,7 +72,7 @@
     def RefreshScaling(self, refresh=True):
         pass
 
-    def ClearHighlights(self):
+    def ClearHighlights(self, highlight_type=None):
         pass
 
 #-------------------------------------------------------------------------------