Removing /etc/xdg/menus/debian-menu.menu works here too. Thanks for all your help.
-- gnome-panel eats 50% cpu for half an hour and flickers https://launchpad.net/bugs/52405 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
