That might be a memory corruption problem, could you try to get a valgrind (https://wiki.ubuntu.com/Valgrind) log for it?
-- gnome theme manager crashed (but not during the gnome standard session) https://launchpad.net/bugs/79583 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
