69527857f8
pushModal() now returns a grab object that has to be passed to popModal() to release the grab. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/212>