RessourceEditor.py
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()