File gnome-shell-fix-grab-issue-when-menu-popup.patch of Package gnome-shell.19696

diff --git a/js/ui/panelMenu.js b/js/ui/panelMenu.js
index b8cbd8c..ea5df7e 100644
--- a/js/ui/panelMenu.js
+++ b/js/ui/panelMenu.js
@@ -186,10 +186,9 @@ var Button = GObject.registerClass({
     }
 
     _onDestroy() {
-        super._onDestroy();
-
         if (this.menu)
             this.menu.destroy();
+        super._onDestroy();
     }
 });
 
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index b5eb992..3c589b5 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1276,7 +1276,7 @@ var PopupMenuManager = class {
 
     removeMenu(menu) {
         if (menu == this.activeMenu)
-            this._closeMenu(false, menu);
+            this._grabHelper.ungrab({ actor: menu.actor });
 
         let position = this._findMenu(menu);
         if (position == -1) // not a menu we manage