From 87016f96204040a49b2bfa152c15c7a63ebd6fc8 Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Wed, 11 Sep 2013 16:21:40 -0400 Subject: [PATCH] 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 file changed, 1 insertion(+), 9 deletions(-) diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index 6ac7450cc..d364de6f9 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,