Hmm... as leny2010 mentioned there should be an applet:
http://www.ihaveapc.com/2011/03/gnomenu-an-alternate-menu-for-gnome-desktop-in-linux-mintubuntu/

It may only be available in gnome3 default mode (not gnome3-fallback with gnome-panel)

Reply via email to