From 93677129bd7e8f264289819e1400238d450c9224 Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Tue, 16 Jan 2024 22:29:42 +0100 Subject: [PATCH] Fix to really use right alt key --- .config/gnome-settings/misc.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.config/gnome-settings/misc.ini b/.config/gnome-settings/misc.ini index 1ddaba7..d8fdfc3 100644 --- a/.config/gnome-settings/misc.ini +++ b/.config/gnome-settings/misc.ini @@ -27,7 +27,7 @@ automatic-timezone=true [org/gnome/desktop/input-sources] per-window=false sources=[('xkb', 'us')] -xkb-options=['compose:menu', 'compose:ralt', 'caps:ctrl_modifier', 'lv3:menu_switch'] +xkb-options=['compose:ralt', 'caps:ctrl_modifier', 'lv3:menu_switch'] [org/gnome/desktop/interface]