[gnome-shell] Reduce the gap between workspaces in linear view

[Colin Walters <walters src gnome org>]

commit cd78f1158cb21efc25384ba8cacfc080b2b10d89
Author: Florian Müllner <fmuellner src gnome org>
Date:   Mon Jan 25 18:11:51 2010 +0100

    Reduce the gap between workspaces in linear view
    
    https://bugzilla.gnome.org/show_bug.cgi?id=607872

 js/ui/workspacesView.js |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 096c996..d96f713 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -26,6 +26,7 @@ const WORKSPACE_SWITCH_TIME = 0.25;
 const MAX_WORKSPACES = 16;
 
 const GRID_SPACING = 15;
+const SINGLE_VIEW_SPACING = 25;
 
 const WorkspacesViewType = {
     SINGLE: 0,
@@ -506,7 +507,9 @@ SingleView.prototype = {
 
             workspace.scale = scale;
             workspace.actor.set_scale(scale, scale);
-            workspace.gridX = this._x + (w - position) * workspace.actor.width;
+            let _width = workspace.actor.width * scale;
+            workspace.gridX = this._x
+                              + (w - position) * (_width + SINGLE_VIEW_SPACING);
             workspace.gridY = this._y;
             workspace.actor.set_position(workspace.gridX, workspace.gridY);
             // show the overlay unconditionally first, so items get