[gnome-shell/wip/workspace: 134/143] workspacesView: Remove spacing

[Jasper St. Pierre <jstpierre src gnome org>]

commit c1ac2ee15143905a61f72e44f3a1b9d5f8b7574a
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Wed Sep 11 16:21:40 2013 -0400

    workspacesView: Remove spacing
    
    It's not used in the theme and it complicates the layout code a bit
    too much; in fact, if set, things start breaking.

 js/ui/workspacesView.js |   10 +---------
 1 files changed, 1 insertions(+), 9 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 6ac7450..d364de6 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -48,17 +48,9 @@ const WorkspacesView = new Lang.Class({
 
         this.actor.connect('destroy', Lang.bind(this, this._onDestroy));
 
-        this.actor.connect('style-changed', Lang.bind(this,
-            function() {
-                let node = this.actor.get_theme_node();
-                this._spacing = node.get_length('spacing');
-                this._updateWorkspaceActors(false);
-            }));
-
         this._fullGeometry = null;
         this._actualGeometry = null;
 
-        this._spacing = 0;
         this._animating = false; // tweening
         this._scrolling = false; // swipe-scrolling
         this._animatingScroll = false; // programatically updating the adjustment
@@ -216,7 +208,7 @@ const WorkspacesView = new Lang.Class({
 
             Tweener.removeTweens(workspace.actor);
 
-            let y = (w - active) * (this._fullGeometry.height + this._spacing);
+            let y = (w - active) * this._fullGeometry.height;
 
             if (showAnimation) {
                 let params = { y: y,