Sorry, yes, gnome-tweak-tool's user interface is a bit broken since it is auto-generated from the gsettings schemas.
I believe the option you want is the bottom one in the Typing panel.
Sorry, yes, gnome-tweak-tool's user interface is a bit broken since it
is auto-generated from the gsettings schemas.
I believe the option you want is the bottom one in the Typing panel.