DataTypeEditor.py
changeset 205 f12ad5b87f99
parent 192 50926b8abac4
child 207 b1144bb36605
equal deleted inserted replaced
204:5eb48c97f6e5 205:f12ad5b87f99
   396                 self.ArrayDimensions.SetStrings(type_infos["dimensions"])
   396                 self.ArrayDimensions.SetStrings(type_infos["dimensions"])
   397                 self.ArrayInitialValue.SetValue(type_infos["initial"])
   397                 self.ArrayInitialValue.SetValue(type_infos["initial"])
   398             self.RefreshDisplayedInfos()
   398             self.RefreshDisplayedInfos()
   399         self.Initializing = False
   399         self.Initializing = False
   400 
   400 
       
   401     def RefreshScaling(self, refresh=True):
       
   402         pass
       
   403 
   401     def OnDerivationTypeChanged(self, event):
   404     def OnDerivationTypeChanged(self, event):
   402         self.RefreshDisplayedInfos()
   405         self.RefreshDisplayedInfos()
   403         self.RefreshTypeInfos()
   406         self.RefreshTypeInfos()
   404         event.Skip()
   407         event.Skip()
   405 
   408