Bug with missing RefreshScaling fixed
authorlbessard
Wed, 16 Apr 2008 10:25:52 +0200
changeset 205 f12ad5b87f99
parent 204 5eb48c97f6e5
child 206 f7c85a5939dc
Bug with missing RefreshScaling fixed
DataTypeEditor.py
--- a/DataTypeEditor.py	Wed Apr 16 10:25:23 2008 +0200
+++ b/DataTypeEditor.py	Wed Apr 16 10:25:52 2008 +0200
@@ -398,6 +398,9 @@
             self.RefreshDisplayedInfos()
         self.Initializing = False
 
+    def RefreshScaling(self, refresh=True):
+        pass
+
     def OnDerivationTypeChanged(self, event):
         self.RefreshDisplayedInfos()
         self.RefreshTypeInfos()