RessourceEditor.py
changeset 365 7bfd014652e0
parent 239 d12779e971bd
child 391 07447ee3538e
--- a/RessourceEditor.py	Wed Jun 03 09:38:23 2009 +0200
+++ b/RessourceEditor.py	Wed Jun 03 10:37:49 2009 +0200
@@ -67,6 +67,9 @@
     def RefreshScaling(self, refresh=True):
         pass
 
+    def ClearErrors(self):
+        pass
+
 #-------------------------------------------------------------------------------
 #                            Resource Editor class
 #-------------------------------------------------------------------------------