Ubuntu
mutter package

  1. Bug #1899206
  2. Comment #7

Comment 7 for bug 1899206

Revision history for this message
Weston Hunter (westonhunter) wrote : Re: Tweaktool Keyboard “Additional Layout Options” not persisting on USB keyboard unplug/reconnect

@Gunnar I downgraded to 3.36.1-5ubuntu1 (for gnome-shell and gnome-shell-common). Downgrading to 3.36.1-5ubuntu1 did not fix the issue for me (like it fixed things for Detlef).

Even with 3.36.1-5ubuntu1, I still lose my customized keyboard tweaks (stored in `org.gnome.desktop.input-sources -> xkb-options`). It always defaults back to whatever is in `/etc/default/keyboard -> XKBOPTIONS`. I also lose my mouse speed setting.

With 3.36.1-5ubuntu1, after doing Alt-F2 -> "r", my desired settings are correctly applied.

Are there any other tests I should try since my observations are different from Detlef?

@Detlef: Do you ever experience the loss of the mouse speed setting (with either version of gnome-shell)?