[gnome-shell] grabHelper: Remove unused parameters

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

commit ff31ccdd30dee5af346a270407e7e0582f469d29
Author: Florian MÃllner <fmuellner gnome org>
Date:   Sat Sep 15 22:41:18 2012 +0200

    grabHelper: Remove unused parameters
    
    Some left-overs from commit b203a95a7 ...
    
    https://bugzilla.gnome.org/show_bug.cgi?id=683546

 js/ui/grabHelper.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 6af5480..6c7511f 100644
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -160,7 +160,7 @@ const GrabHelper = new Lang.Class({
         this._grabStack.push(params);
 
         if (params.modal)
-            this._takeModalGrab(hadFocus);
+            this._takeModalGrab();
 
         if (params.grabFocus)
             this._takeFocusGrab(hadFocus);
@@ -171,7 +171,7 @@ const GrabHelper = new Lang.Class({
         return true;
     },
 
-    _takeModalGrab: function(hadFocus) {
+    _takeModalGrab: function() {
         let firstGrab = (this._modalCount == 0);
         this._modalCount++;
         if (!firstGrab)