On 2023-08-28 13:42, Tollef Fog Heen wrote:
]] Gunnar HjalmarssonWhat's the output of this command: gsettings get org.gnome.desktop.input-sources xkb-options$ gsettings get org.gnome.desktop.input-sources xkb-options ['compose:caps', 'compose:caps', 'grp:alts_toggle', 'lv3:ralt_switch']
Then run this command: gsettings set org.gnome.desktop.input-sources xkb-options "['compose:caps']"