Has disappeared from tweaks?
All the sudden I had 9 workspaces, got round it with:
gsettings set org.gnome.mutter dynamic-workspaces false
gsettings set org.gnome.desktop.wm.preferences num-workspaces 4
Doh, for some reason I cannot remember, I had the git version installed, reverting to the repo version fixes it. Sorry for the noise