25e854dde8
We already track the current workspace index, use that instead of getting it from the workspace manager again. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/307>