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