From ef9e8e5859c422d2bdb754ee67406a9ffe22f208 Mon Sep 17 00:00:00 2001 From: Alexander Hess Date: Wed, 6 Dec 2023 00:23:38 +0100 Subject: [PATCH] Fix to 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 ce44dd4..1ddaba7 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:ralt_switch'] +xkb-options=['compose:menu', 'compose:ralt', 'caps:ctrl_modifier', 'lv3:menu_switch'] [org/gnome/desktop/interface]