69d8d1a335
Now that previews scroll when there are too many workspaces, there is no longer a reason for the 6-workspace limit. However some users do prefer the menu, so rather than drop it, turn it into a proper preference. Closes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/336 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/316>