From ff31ccdd30dee5af346a270407e7e0582f469d29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 15 Sep 2012 22:41:18 +0200
Subject: [PATCH] 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 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 6af5480a8..6c7511fdf 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)