ee5819f870
The deprecated position property has been removed in mutter commit 31849868 in favor of the otherwise identical cursor_position property. Closes: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7186 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3015>