gui/tools/designer.py
def delete(self, event):
        "delete all of the selected objects"
        # get the selected objects (if any)
        for obj in self.selection:
            if obj:
                if DEBUG: print "deleting", obj.name
                obj.destroy()
        self.selection = []                         # clean selection
        self.inspector.load_object()
def delete(self, event):
        "delete all of the selected objects"
        # get the selected objects (if any)
        for obj in self.selection:
            if obj:
                if DEBUG: print "deleting", obj.name
                obj.destroy()
        self.selection = []                         # clean selection
        self.inspector.load_object()
delete all of the selected objects