[gnome-shell] workspacesDisplay: add spacing around the workspacesView

[Adel Gadllah <agadllah src gnome org>]

commit f63fceb2ea030c1a43a39f0ab9997287e8a3425e
Author: Tim Lunn <tim feathertop org>
Date:   Thu Nov 15 07:50:49 2012 +1100

    workspacesDisplay: add spacing around the workspacesView
    
    On additional monitors the workspacesView takes up the entire monitor
    and in some cases windows in overview can end up hard against the
    edge of the monitor.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=688133

 js/ui/workspacesView.js |   11 ++++++-----
 1 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index a14e675..e99fe3d 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -863,8 +863,9 @@ const WorkspacesDisplay = new Lang.Class({
         let clipX = rtl ? x + controlsVisible : x;
         let clipY = y + (fullHeight - clipHeight) / 2;
 
+        let overviewSpacing = Main.overview._spacing;
         let widthAdjust = this._zoomOut ? controlsNatural : controlsVisible;
-        widthAdjust += Main.overview._spacing;
+        widthAdjust += overviewSpacing;
         width -= widthAdjust;
         if (rtl)
             x += widthAdjust;
@@ -882,10 +883,10 @@ const WorkspacesDisplay = new Lang.Class({
                                                      monitors[i].y,
                                                      monitors[i].width,
                                                      monitors[i].height);
-                this._workspacesViews[m].setGeometry(monitors[i].x,
-                                                     monitors[i].y,
-                                                     monitors[i].width,
-                                                     monitors[i].height);
+                this._workspacesViews[m].setGeometry(monitors[i].x + overviewSpacing/2,
+                                                     monitors[i].y + overviewSpacing/2,
+                                                     monitors[i].width - overviewSpacing,
+                                                     monitors[i].height - overviewSpacing);
                 m++;
             }
         }