Okay, there is no issue with gnome-tweaks. It does what it supposed to do. In Keyboard & Mouse -> Overview is a toggle button to select either Left Super or Right Super. What it does is being a wrapper around gsettings set org.gnome.mutter.overlay-key for 'Super_L' or 'Super_R' values. Both options work well. But you can have only one of them at the same time. So my problem is with mutter. Mutter doesn't accept multiple values for the overlay-key. It must be one single key, but you can set it to everything you want.
Naming issue. My hardware keyboard has a common German layout, the keys left from space bar are: Alt Gr, ⊞ aka windows key, ≣ menu key, Strg aka ctrl. The windows key is super. There are two of them on the keyboard: one left, one right. If I look for X events with 'xev -event keyboard' I see that that windows keys are named Super_L and Super_R. Gnome folks name them as Super_L and Super_R. I am d'accord with them. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1880411 Title: Tweaks > Keyboard & Mouse > Overview Shortcut = Right Super does not work To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-tweaks/+bug/1880411/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
