GitHub #123: Delete created GUI objects when deleting the Patch