equal
deleted
inserted
replaced
709 def __init__(self, parent): |
709 def __init__(self, parent): |
710 Graphic_Element.__init__(self, parent) |
710 Graphic_Element.__init__(self, parent) |
711 self.Elements = [] |
711 self.Elements = [] |
712 self.RefreshWireExclusion() |
712 self.RefreshWireExclusion() |
713 self.RefreshBoundingBox() |
713 self.RefreshBoundingBox() |
714 |
|
715 # Destructor |
|
716 def __del__(self): |
|
717 self.Elements = [] |
|
718 |
714 |
719 def GetDefinition(self): |
715 def GetDefinition(self): |
720 blocks = [] |
716 blocks = [] |
721 wires = [] |
717 wires = [] |
722 for element in self.Elements: |
718 for element in self.Elements: |