1545596c7e
If the source actor is destroyed while the popupMenu is shown -- this can happen if a non favorite application was closing or crashes -- the menu actor is improperly destroyed. This makes the popupMenu close first and does a clean ungrab instead. https://bugzilla.gnome.org/show_bug.cgi?id=757556