[gnome-shell] Connect PopupMenuManager to destroy signal

[Dan Winship <danw src gnome org>]

commit aebdf79430bf8281263ba98627ff0e0e72ddb708
Author: Giovanni Campagna <scampa giovanni gmail com>
Date:   Wed Sep 29 18:12:38 2010 +0200

    Connect PopupMenuManager to destroy signal
    
    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

 js/ui/popupMenu.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 89f56e7..de8de1e 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -678,6 +678,7 @@ PopupMenuManager.prototype = {
             menu:              menu,
             openStateChangeId: menu.connect('open-state-changed', Lang.bind(this, this._onMenuOpenState)),
             activateId:        menu.connect('activate', Lang.bind(this, this._onMenuActivated)),
+            destroyId:         menu.connect('destroy', Lang.bind(this, this._onMenuDestroy)),
             enterId:           0,
             buttonPressId:     0
         };