equal
deleted
inserted
replaced
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 |