b7db56ca9b
We're going to use fixed position for positioning workspaces when they're allocated by their own layout manager, using those positions to scroll between different workspaces interferes with that, so do that using translations instead. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1305