That sounds promising, Leonid. The submitter of
<https://askubuntu.com/q/1291175> also confirmed that the PPA packages
fix a similar issue.

Maybe the fix we are testing only addresses issues with xkb-options.
scheleaap's case seems to be about using some other keyboard layout but
the system one. While it's indeed a similar case, it's not identical and
the mechanisms behind the scenes differ.

-- 
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter 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/gnome-shell/+bug/1899206/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to