[gnome-shell] popupMenu: close menu on destroy

[Ray Strode <halfline src gnome org>]

commit 77d3712261f838dfbe968bd79898bed82fd4f32a
Author: Ray Strode <rstrode redhat com>
Date:   Sat Apr 6 10:31:16 2013 -0400

    popupMenu: close menu on destroy
    
    This fixes a crash if a background menu is open
    and the background changes.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=697432

 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 b751daf..941f64b 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1157,6 +1157,7 @@ const PopupMenuBase = new Lang.Class({
     },
 
     destroy: function() {
+        this.close();
         this.removeAll();
         this.actor.destroy();