DataTypeEditor.py
changeset 440 e183bffc05f0
parent 431 c1c92d068ac5
child 460 2ddf7bbd1f74
equal deleted inserted replaced
438:eebcf66f2d5a 440:e183bffc05f0
   824         def ElementTypeFunction(event):
   824         def ElementTypeFunction(event):
   825             row = self.StructureElementsGrid.GetGridCursorRow()
   825             row = self.StructureElementsGrid.GetGridCursorRow()
   826             self.StructureElementsTable.SetValueByName(row, "Type", base_type)
   826             self.StructureElementsTable.SetValueByName(row, "Type", base_type)
   827             self.RefreshTypeInfos()
   827             self.RefreshTypeInfos()
   828             self.StructureElementsTable.ResetView(self.StructureElementsGrid)
   828             self.StructureElementsTable.ResetView(self.StructureElementsGrid)
   829             event.Skip()
       
   830         return ElementTypeFunction
   829         return ElementTypeFunction
   831 
   830 
   832     def RefreshDisplayedInfos(self):
   831     def RefreshDisplayedInfos(self):
   833         selected = DATATYPE_TYPES_DICT[self.DerivationType.GetStringSelection()]
   832         selected = DATATYPE_TYPES_DICT[self.DerivationType.GetStringSelection()]
   834         if selected != self.CurrentPanel:
   833         if selected != self.CurrentPanel: