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.)