author | lbessard |
Wed, 16 Apr 2008 10:25:52 +0200 | |
changeset 205 | f12ad5b87f99 |
parent 204 | 5eb48c97f6e5 |
child 206 | f7c85a5939dc |
DataTypeEditor.py | file | annotate | diff | comparison | revisions |
--- 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()