[gnome-shell] workspace: Remove unused parameter

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

commit 557130d2f2747c2be5508685b94fba7d6f8624ed
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jul 18 00:52:15 2014 +0200

    workspace: Remove unused parameter

 js/ui/workspace.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index ec012c0..1303bab 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1326,7 +1326,7 @@ const Workspace = new Lang.Class({
                                      });
                 }
 
-                this._animateClone(clone, overlay, x, y, scale, initialPositioning);
+                this._animateClone(clone, overlay, x, y, scale);
             } else {
                 // cancel any active tweens (otherwise they might override our changes)
                 Tweener.removeTweens(clone.actor);
@@ -1355,7 +1355,7 @@ const Workspace = new Lang.Class({
         }
     },
 
-    _animateClone: function(clone, overlay, x, y, scale, initialPositioning) {
+    _animateClone: function(clone, overlay, x, y, scale) {
         Tweener.addTween(clone.actor,
                          { x: x,
                            y: y,