This will eventually allow us to re-use the workspace-indicator extension without changing anything but the used prefix. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/307>
This will eventually allow us to re-use the workspace-indicator extension without changing anything but the used prefix. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/307>