From bb88265d781a161721b1c69a9402d3c03fbbbf50 Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Tue, 27 Nov 2012 17:40:40 -0500 Subject: [PATCH] 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 file changed, 5 insertions(+), 2 deletions(-) diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index e99fe3dc3..3528c9ad6 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); }