Several years ago the basic German XKB layout was modified in that the
dead_tilde symbol was changed to asciitilde (i.e. not dead). They added
a German (legacy) layout which changes back asciitilde to dead_tilde.
German (legacy) has in 18.04 been name changed to German (deadtilde).
So yes Stéphane, with that name change you no longer get the impression
that the layout will disappear soon.
This is not a gnome-control-center issue at all, so closing.
** Changed in: gnome-control-center (Ubuntu)
Status: Confirmed => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1277641
Title:
German keyboard layout loses tilde dead key
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/1277641/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
