diff -r ed8a89171a6c -r 93e7a8abce5e graphics/GraphicCommons.py --- a/graphics/GraphicCommons.py Wed Jun 05 23:23:29 2013 +0200 +++ b/graphics/GraphicCommons.py Wed Jun 05 23:29:37 2013 +0200 @@ -853,9 +853,12 @@ if movex != 0 or movey != 0: element.Move(movex, movey) element.RefreshModel() - self.RefreshWireExclusion() self.RefreshBoundingBox() + # Add the given element to the group of elements + def AddElement(self, element): + self.Elements.append(element) + # Remove or select the given element if it is or not in the group def SelectElement(self, element): if element in self.Elements: