keyboard shortcuts only work with left super-key

view full story

http://unix.stackexchange.com – I recently had to change the keyboard-shortcuts after updating my system. I had to use dconf-editor to manually set the shortcut from <Super>+R to <Mod4>+R in order to get them to work (see here). This does work when I press the right super-key together with the specified alphabetic key, but it does not work when using the left super-key. Also, the gnome-shell menu is set to show up when I press just the super-key, but it only shows up when pressing the left one. I'd like to have gnome-shell accept both the left and the right super-key for the shortcut, but I don't want to remap (HowTos)