A Gnome-Shell extension: https://extensions.gnome.org/extension/440/workspace-separation-on-dash/