
It has been unused since the move to Clutter.grab() in commit
f4cae72d17
.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3195>
It has been unused since the move to Clutter.grab() in commit
f4cae72d17
.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3195>