Hello, after a big of digging, you can force Gnome Shell to not grab the Super key with this: gsettings set org.gnome.mutter overlay-key ''
(The original value is 'Super_L', if you want to restore it) But if you recreated the custom shortcut, they show up as "<Super><key>" they still won't work. You can use dconf-editor to edit them and you need to put "<Mod4><key>" (eg "<Mod4>t") in the relevant field (org.gnome.settings-daemon.plugins.media-keys.custom-keybindings.*.binding). Strangely they then appear as "Mod4+Super+Hyper+<key>" in gnome-control-center. Cheers, -- Raphaël Hertzog ◈ Debian Developer Get the Debian Administrator's Handbook: → http://debian-handbook.info/get/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
