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



commit 5c403077456791aa1e4ac1bc9d3cbbac023bd648
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 71cccfe..a7644d9 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1977,9 +1977,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]