** Attachment added: "Crash-Report for Gnome-Theme-Manager" http://librarian.launchpad.net/5050336/_usr_bin_gnome-theme-manager.1000.crash -- Theme-manager crashes https://launchpad.net/bugs/71345