From 77d3712261f838dfbe968bd79898bed82fd4f32a Mon Sep 17 00:00:00 2001
From: Ray Strode <rstrode@redhat.com>
Date: Sat, 6 Apr 2013 10:31:16 -0400
Subject: [PATCH] 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 file changed, 1 insertion(+)

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index b751daf9e..941f64b53 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();