[gnome-shell] grabHelper: Set _grabbedFromKeynav

[Florian MÃllner <fmuellner src gnome org>]

commit f6645a41d2059761c870ca71d342fa74619081dd
Author: Florian MÃllner <fmuellner gnome org>
Date:   Mon Sep 17 18:11:27 2012 +0200

    grabHelper: Set _grabbedFromKeynav
    
    This one got lost in commit b203a95a7.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=683546

 js/ui/grabHelper.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index fee72c5..6af5480 100644
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -203,7 +203,7 @@ const GrabHelper = new Lang.Class({
         global.sync_pointer();
     },
 
-    _takeFocusGrab: function() {
+    _takeFocusGrab: function(hadFocus) {
         let firstGrab = (this._grabFocusCount == 0);
         this._grabFocusCount++;
         if (!firstGrab)
@@ -211,6 +211,7 @@ const GrabHelper = new Lang.Class({
 
         let metaDisplay = global.screen.get_display();
 
+        this._grabbedFromKeynav = hadFocus;
         this._preGrabInputMode = global.stage_input_mode;
         this._prevFocusedWindow = metaDisplay.focus_window;