Instead of requiring the user to open the prefs dialog to change workspace names, make the menu items themselves editable. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>
Instead of requiring the user to open the prefs dialog to change workspace names, make the menu items themselves editable. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>