From db26fb201ee7dbd9e0496081a6ee914abc56232a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 26 Apr 2013 15:46:49 +0200
Subject: [PATCH] popupMenu: Allow setting grabHelper params for
 PopupMenuManager

Currently all keybindings are disabled while some popup menu is open.
However some keybindings may still be useful in some cases, so expose
GrabHelper's modal params parameter to allow specifying a keybinding
mode for particular menus.

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

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 941f64b53..8d55954b9 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -2052,9 +2052,9 @@ const RemoteMenu = new Lang.Class({
 const PopupMenuManager = new Lang.Class({
     Name: 'PopupMenuManager',
 
-    _init: function(owner) {
+    _init: function(owner, grabParams) {
         this._owner = owner;
-        this._grabHelper = new GrabHelper.GrabHelper(owner.actor);
+        this._grabHelper = new GrabHelper.GrabHelper(owner.actor, grabParams);
         this._menus = [];
     },