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 #-------------------------------------------------------------------------------