@Gunnar: I only first recognized the issue last week -- it's possible I had been affected by the issue for longer, but did not realize it. After reading the description in the linked mutter bug, it does sound like I'm very likely affected by the same bug.
Tonight, I'll try the downgrade for the mutter packages as well. Thanks for working through this with me! -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1899206 Title: Tweaktool Keyboard “Additional Layout Options” not persisting on USB keyboard unplug/reconnect To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1899206/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
