1c95283913
Menus do need a menu manager to handle grabs for them, this is more necessary now that the padOsd do also push a Clutter.Grab. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2279>