--- 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()