I didn't see anybody post this workaround yet, but on my systems, it's possible to get the desired functionality, if you make the config change using the command line. This bug is still relevant though, as its impossible to make the same change using any of the GUI tools.
Pick one of the following commands. Just pick whichever method tickles your inputs the most: # Make the change with gsettings... gsettings set org.gnome.shell.keybindings toggle-overview "['<Super>s','Super_R']" # Or if you are using a more recent release, make the change using dconf write. dconf write /org/gnome/shell/keybindings/toggle-overview "['<Super>s','Super_R']" # Finally, if you prefer to use docnf load (good scripts making lots of changes): dconf load -f /org/gnome/shell/ <<-EOF [keybindings] toggle-overview=['<Super>s', 'Super_R'] EOF -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to mutter in Ubuntu. https://bugs.launchpad.net/bugs/1880411 Title: Support both Super keys simultaneously on org.gnome.mutter overlay-key Status in Mutter: New Status in gnome-tweaks package in Ubuntu: Triaged Status in mutter package in Ubuntu: Triaged Bug description: The right super key doesn't show the overlay. Ubuntu 20.04 LTS To manage notifications about this bug go to: https://bugs.launchpad.net/mutter/+bug/1880411/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
