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 -- edubuntu-users mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/edubuntu-users
