Comment 13 for bug 1880411

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.