aebdf79430
PopupMenuManager now connects to the destroy signal of PopupMenu, so that destroying a PopupMenu is now enough for removing it from the relevant manager. Useful if menu come and go on-the-fly (like in app views or sidebars). https://bugzilla.gnome.org/show_bug.cgi?id=630914