mirror of
https://github.com/brl/mutter.git
synced 2025-01-22 17:38:56 +00:00
d2a492de94
Users who customized their workspace shortcuts before updating to GNOME 40 are experiencing troubles when trying to use the same keybinding for the horizontal shortcuts, because of hidden conflicts with the vertical ones. We can address this by registering the old shortcuts with Settings without showing them in the UI, so that they are taken into account by Settings' conflict resolution. https://gitlab.gnome.org/GNOME/mutter/-/issues/1740 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1814>
