@Gunnar. Yes, I rebooted after downgrade. After rebooting, I confirmed (`dpkg -l` and `gnome-shell --version`) that I was using the downgraded version.
I'm wondering if I should be going back to versions which are even older? Is it safe to downgrade to even earlier versions of gnome-shell and gnome-shell-common without messing up other software on my system? Is there a list of even older downgrade versions you recommend I should try? Thanks! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to 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 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
