1186b2a7a0
The menu is currently only used when previews are disabled. But as we are going to use the menu for changing workspace names, it should be always available. So add it unconditionally, and show it on right-click when using previews. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>