GNOME Desktop-Shortcuts (Ctrl+Alt+Down) ändern/deaktivieren

Der GNOME Desktop hat diverse globale Shortcuts, z.B. zum Wechseln zwischen virtuellen Desktops Ctrl+Alt+Down|Up. Bei der Programmierung in Qt Creator ist das aber nervig, weil dort die Funktion Zeile duplizieren ebenfalls auf dem Shortcut Ctrl+Alt+Down liegt.

Diesen Shortcut kann man über Einstellungen->Tastatur->Tastenkombinationen… aber nicht ändern.

Abschalten kann man den Shortcut im GNOME Desktop im dconf-editor:

sudo apt install dconf-editor
dconf-editor

Dann zum Knoten /org/gnome/desktop/wm/keybindings/switch-to-workspace-down navigieren, und dort:

• Vorgabewert verwenden ausschalten
• Keybinding löschen ([])
• “Anwenden”

Nun sollte Ctrl+Alt+Down auch wieder in Qt Creator funktionieren.