[gnome-shell/gnome-3-8] popupMenu: Allow setting grabHelper params for PopupMenuManager



commit db26fb201ee7dbd9e0496081a6ee914abc56232a
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Apr 26 15:46:49 2013 +0200

    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 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 941f64b..8d55954 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 = [];
     },
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]