Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

The windows key is being used as the new modifier for all Gnome Shell specific shortcuts.

Super+space is actually mapped to changing input languages. Check out the Keyboard settings in Settings.

An other very useful tool for customizing Gnome shell is "Gnome tweak tools". They have many options there that you might find useful.

I would also suggest upgrading to F20. Some of the gnome binding have changed (I think...). I believe if you change the language switch binding, that gnome-do "should" work. I consider gnome-shell pretty fast moving. Every release fixes a TON of stuff that were just wrong with the old one.

FINALLY, correct me if i'm wrong, but gnome-do seems to be orphaned and recently revived.

Fedora has

Name        : gnome-do
Arch        : x86_64
Version     : 0.9

in the repositories which was released in 2012. That was a long time ago in terms of gnome-shell's maturity. You might want to consider using gnome-shell's integrated "do anything" with the super key while gnome-do's team works on the project again.