For info, I've submitted this menu related gnome-panel bug. https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/1078679 Anyone experiencing the same, please add your thoughts. -- Matt