# HG changeset patch
# User lbessard
# Date 1208334352 -7200
# Node ID f12ad5b87f99acce252a1ec67da198a664a67680
# Parent  5eb48c97f6e52ab832c88192842711dd71f5fb06
Bug with missing RefreshScaling fixed

diff -r 5eb48c97f6e5 -r f12ad5b87f99 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()