725c72e020
We already have our own function to show the system cursor, use it! https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/993