a29e002a41
This will be used by the next commit to hide workspaces when ViewSelector switches to the search page, without destroying the workspaces so their state is preserved. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1593>