equal
deleted
inserted
replaced
570 "fixed_size": [True, False, True, False, True, True, False], |
570 "fixed_size": [True, False, True, False, True, True, False], |
571 } |
571 } |
572 |
572 |
573 self.PanelWidthMin = sum(self.ColSettings["size"]) |
573 self.PanelWidthMin = sum(self.ColSettings["size"]) |
574 |
574 |
575 self.ElementType = element_type |
|
576 self.BodyType = None |
575 self.BodyType = None |
577 |
576 |
578 for choice in self.FilterChoices: |
577 for choice in self.FilterChoices: |
579 self.ClassFilter.Append(_(choice)) |
578 self.ClassFilter.Append(_(choice)) |
580 |
579 |