Hello, For the game menu, the bug is described here: https://bugs.launchpad.net/gnome-menus/+bug/413728
It's related to the way the menu is being build on debian/ubuntu. Marc -- edubuntu-users mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/edubuntu-users
