From 809295c03d2a1a7a555529685574af509e3fae94 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Sat, 16 Feb 2013 13:43:01 -0500
Subject: [PATCH] popupMenu: Close all child menus when the main menu is closed

Otherwise, if something managed to call close(), it wouldn't
close any child menus.

https://bugzilla.gnome.org/show_bug.cgi?id=693572
---
 js/ui/popupMenu.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 538d9b6e5..d65f03f21 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1267,6 +1267,10 @@ const PopupMenu = new Lang.Class({
         if (this._activeMenuItem)
             this._activeMenuItem.setActive(false);
 
+        this._childMenus.forEach(function(childMenu) {
+            childMenu.close();
+        });
+
         if (this._boxPointer.actor.visible)
             this._boxPointer.hide(animate);