Change Keyboard Shortcuts in Gnome-Shell (Gnome 3)
I really love Gnome 3 and its Shell, but I almost went nuts on this. It really took me a while to finally figure this out. To make a really short blog post even shorter:
Use dconf-editor (from package dconf-tools) and go to org.gnome.desktop.wm.keybindings. There you have it.
Why would I want to change keyboard shortcuts? Some of them (namely Alt+F1, Alt+F7 and Alt+F8) clash with IntelliJ IDEA’s shortcuts. That’s why! 