25b6b562d9
WorkspacesDisplay now takes an adjustment for the workspace position, provide that. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/100