It's in Gnome, using the Gnome keymap chooser at "System-Einstellungen-
Tastatur-Belegungen".
Actually I have just relized that the problem persists. After each new
start of the computer I need to press a key after the tilde key for a
tilde to appear.
Right now I have chosen "Germany Eliminate dead keys".
When I revert to default settings ("Auf Vorgabewerte zurücksetzen") and
then add the "Eliminate dead keys" layout and tick the "Vorgabe"
("Default") box, a newly started Terminal still shows that behaviour.
When I then remove "Germany" (with dead keys) altogether I immediately
get the correct behaviour (even without restarting Terminal).
--
keyboard mapping de-nodeadkeys is broken
https://bugs.launchpad.net/bugs/223736
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
