Aaron Konstam <akonstam <at> sbcglobal.net> writes:
Installing gnome-shell-extension-alternative-status-menu on my F17
machine does not prevent you from having to use the alt key.
Did you enable it using gnome-tweak-tool? (By default, extensions are disabled
even if installed.)