changeset 107 | 255eada20688 |
parent 90 | 2245e8776086 |
child 113 | 9eeaebd867aa |
--- a/RessourceEditor.py Fri Oct 05 18:11:27 2007 +0200 +++ b/RessourceEditor.py Fri Oct 05 18:11:51 2007 +0200 @@ -373,6 +373,9 @@ def SetMode(self, mode): pass + def VerifyVariableTypeCompatibility(self): + pass + def RefreshTypeList(self): self.TypeList = "" blocktypes = self.Controler.GetBlockResource()