Quoting "Ritesh Khadgaray" <[email protected]>:
You would need gnome-shell-extension-alternate-menu . Check with your distribution for something akin to http://justinstories.wordpress.com/2011/05/27/five-must-have-gnome-shell-extensions-for-fedora-15/
OK, the gnome-shell-extensions-alternative-status-menu should really make it. In Debian in will be packaged as well, see: http://bugs.debian.org/627515 _______________________________________________ gnome-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-list
