a0436d4b48
All menus in the mockups spot a header, and as we are using a custom menu type anyway, just add some API there. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2393>