b9d935af0c
We need to close the menu to make sure that any grabs held by the PopupMenuManager are released, and events are properly delivered. https://bugzilla.gnome.org/show_bug.cgi?id=707852