From f63fceb2ea030c1a43a39f0ab9997287e8a3425e Mon Sep 17 00:00:00 2001 From: Tim Lunn Date: Thu, 15 Nov 2012 07:50:49 +1100 Subject: [PATCH] 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 file changed, 6 insertions(+), 5 deletions(-) diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index a14e67533..e99fe3dc3 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++; } }