gui/tools/designer.py
def duplicate(self, event):
        "create a copy of each selected object"
        # duplicate the selected objects (if any)
        new_selection = []
        for obj in self.selection:
            if obj:
                if DEBUG: print "duplicating", obj.name
                obj.sel_marker.destroy()
                obj.sel_marker = None
                obj2 = obj.duplicate()
                obj2.sel_marker = SelectionMarker(obj2)
                obj2.sel_marker.show(True)
                new_selection.append(obj2)
        self.selection = new_selection              # update with new obj's
        self.inspector.load_object()
def duplicate(self, event):
        "create a copy of each selected object"
        # duplicate the selected objects (if any)
        new_selection = []
        for obj in self.selection:
            if obj:
                if DEBUG: print "duplicating", obj.name
                obj.sel_marker.destroy()
                obj.sel_marker = None
                obj2 = obj.duplicate()
                obj2.sel_marker = SelectionMarker(obj2)
                obj2.sel_marker.show(True)
                new_selection.append(obj2)
        self.selection = new_selection              # update with new obj's
        self.inspector.load_object()
create a copy of each selected object