49b9ae08d8
While the menu is popped up, we artificially keep the icon highlighted by ensuring it's hovered, and muting events on the app icon until the menu is popped down. This is somewhat convoluted and won't work with Clutter.grab(), where it will be the menu itself that is the owner of input events while shown, so cut some corners and explicitly tell the app icon to be highlighted. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2045>