Hello,
i’m wondering if there is some nice way using the keyboard configuration to disable dead keys explicitly. I am using the us international layout which uses dead keys for the accents as a default, instead of just ’ and " as the non-international variant.
I can set the layout using setxkbmap -layout us -variant altgr-intl -option nodeadkeys but i would prefer to not bypass gnome3, so i still can use the layout selection applet.
The background of using us international without dead keys is the following: i’m a software developer, so i’d like to use the us layout, but i’m also german and like to have umlauts and such. But in neither programming or german there is a need for dead keys and having to use AltGr combinations to produce single and double quotes is just as painfull as using the german layout, where you need AltGr to produce brackets and braces.