equal
deleted
inserted
replaced
851 elif vertically == ALIGN_BOTTOM: |
851 elif vertically == ALIGN_BOTTOM: |
852 movey = maxy - height - posy |
852 movey = maxy - height - posy |
853 if movex != 0 or movey != 0: |
853 if movex != 0 or movey != 0: |
854 element.Move(movex, movey) |
854 element.Move(movex, movey) |
855 element.RefreshModel() |
855 element.RefreshModel() |
856 self.RefreshWireExclusion() |
|
857 self.RefreshBoundingBox() |
856 self.RefreshBoundingBox() |
858 |
857 |
|
858 # Add the given element to the group of elements |
|
859 def AddElement(self, element): |
|
860 self.Elements.append(element) |
|
861 |
859 # Remove or select the given element if it is or not in the group |
862 # Remove or select the given element if it is or not in the group |
860 def SelectElement(self, element): |
863 def SelectElement(self, element): |
861 if element in self.Elements: |
864 if element in self.Elements: |
862 self.Elements.remove(element) |
865 self.Elements.remove(element) |
863 else: |
866 else: |