[gnome-shell/wip/rewindow: 58/58] workspacesView: Add some more spacing between window and workspace thumbs

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

commit 76dafb7700b764e0c3dbf5cb3276f9a9c315fab1
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Aug 20 18:30:04 2012 -0400

    workspacesView: Add some more spacing between window and workspace thumbs
    
    https://bugzilla.gnome.org/show_bug.cgi?id=582650

 data/theme/gnome-shell.css |    2 +-
 js/ui/workspacesView.js    |    1 +
 2 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 39dd485..44e8356 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -562,7 +562,7 @@ StButton.popup-menu-item:insensitive {
 /* Overview */
 
 #overview {
-    spacing: 12px;
+    spacing: 40px;
 }
 
 .window-caption {
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index c7e7248..501297e 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -868,6 +868,7 @@ const WorkspacesDisplay = new Lang.Class({
         let clipY = y + (fullHeight - clipHeight) / 2;
 
         let widthAdjust = this._zoomOut ? controlsNatural : controlsVisible;
+        widthAdjust += Main.overview._spacing;
         width -= widthAdjust;
         if (rtl)
             x += widthAdjust;