Ubuntu
gnome-tweaks package

  1. Bug #1880411
  2. Comment #10

Comment 10 for bug 1880411

Revision history for this message
Daniel van Vugt (vanvugt) wrote : Re: Tweaks > Keyboard & Mouse > Overview Shortcut = Right Super does not work

Looking at the source code of gnome-tweaks it is trying to set:

  gsettings set org.gnome.mutter overlay-key 'Super_R'

which is a mistake. Because the correct setting to get it working is:

  gsettings set org.gnome.mutter overlay-key 'menu'

So it's just a bug in gnome-tweaks.