This bug was fixed in the package ubuntu-gnome-default-settings -
18.10.1
---
ubuntu-gnome-default-settings (18.10.1) cosmic; urgency=medium
* Drop some gsettings overrides that are no longer needed
* Reorder some keybinding overrides so upstream defaults are
shown in gnome-co
** Branch linked: lp:ubuntu-gnome-default-settings
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1704580
Title:
mouse-button-modifier should default to Super
To manage notifications about this bug
http://bazaar.launchpad.net/~ubuntu-gnome-dev/ubuntu-gnome-default-
settings/ubuntu/view/head:/debian/ubuntu-gnome-default-settings
.gsettings-override
** Package changed: mutter (Ubuntu) => ubuntu-gnome-default-settings
(Ubuntu)
--
You received this bug notification because you are a member of
