graphics/GraphicCommons.py
changeset 1226 93e7a8abce5e
parent 1176 f4b434672204
child 1258 441f31474b50
--- 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: