beim Gnome-Tweak-Tool gibt es unter Keyboard & Mouse die Optionen
- Pointer Location und
- Middle Click Paste,
- org.gnome.desktop.interface gtk-enable-primary-paste und
- org.gnome.settings-daemon.peripherals.mouse locate-pointer
Bei mir macht es nichts aus, ob die Einstellungen auf True oder False sind, der Standardwert setzt sich durch. Könnte es irgendeine Option geben, mit der diese Werte überschrieben werden?
System: Debian buster, Gnome-Shell 3.30.2.