RessourceEditor.py
changeset 365 7bfd014652e0
parent 239 d12779e971bd
child 391 07447ee3538e
equal deleted inserted replaced
364:deee68313770 365:7bfd014652e0
    63 
    63 
    64     def RefreshView(self):
    64     def RefreshView(self):
    65         pass
    65         pass
    66 
    66 
    67     def RefreshScaling(self, refresh=True):
    67     def RefreshScaling(self, refresh=True):
       
    68         pass
       
    69 
       
    70     def ClearErrors(self):
    68         pass
    71         pass
    69 
    72 
    70 #-------------------------------------------------------------------------------
    73 #-------------------------------------------------------------------------------
    71 #                            Resource Editor class
    74 #                            Resource Editor class
    72 #-------------------------------------------------------------------------------
    75 #-------------------------------------------------------------------------------