[gnome-shell] workspacesViews: Update new padding rules for workspacesOnlyOnPrimary

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

commit bb88265d781a161721b1c69a9402d3c03fbbbf50
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Tue Nov 27 17:40:40 2012 -0500

    workspacesViews: Update new padding rules for workspacesOnlyOnPrimary
    
    Tim Lunn fixed this for the !workspacesOnlyOnPrimary case, but not the
    other.

 js/ui/workspacesView.js |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index e99fe3d..3528c9a 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -128,8 +128,11 @@ const WorkspacesView = new Lang.Class({
                 continue;
 
             let ws = new Workspace.Workspace(null, i);
-            ws.setGeometry(monitors[i].x, monitors[i].y,
-                           monitors[i].width, monitors[i].height);
+            let overviewSpacing = Main.overview._spacing;
+            ws.setGeometry(monitors[i].x + overviewSpacing/2,
+                           monitors[i].y + overviewSpacing/2,
+                           monitors[i].width - overviewSpacing,
+                           monitors[i].height - overviewSpacing);
             global.overlay_group.add_actor(ws.actor);
             this._extraWorkspaces.push(ws);
         }