[gnome-shell] AppIconMenu: properly destroy on source destroy.

[Florian Müllner <fmuellner src gnome org>]

commit 1545596c7ec53e16dc6bbc5261c9f8907d291e2a
Author: Michele Gaio <micxgx gmail com>
Date:   Wed Nov 4 00:56:16 2015 +0000

    AppIconMenu: properly destroy on source destroy.
    
    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

 js/ui/appDisplay.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 58adf3a..cae1757 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -1814,7 +1814,7 @@ const AppIconMenu = new Lang.Class({
             if (!source.actor.mapped)
                 this.close();
         }));
-        source.actor.connect('destroy', Lang.bind(this, function () { this.actor.destroy(); }));
+        source.actor.connect('destroy', Lang.bind(this, this.destroy));
 
         Main.uiGroup.add_actor(this.actor);
     },