From 90bce45ec66acf8330ee311d7f50ef19fa96c762 Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@src.gnome.org>
Date: Wed, 21 Jan 2009 21:59:58 +0000
Subject: [PATCH] fix workspaces padding a little. (it's still not quite right)

svn path=/trunk/; revision=160
---
 js/ui/workspaces.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index 975d30bb9..99d393bfc 100644
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -524,7 +524,8 @@ Workspaces.prototype = {
         let screenWidth = global.screen_width;
         let screenHeight = global.screen_height;
 
-        this._width = screenWidth * Overlay.WORKSPACE_GRID_SCALE;
+        this._width = screenWidth * Overlay.WORKSPACE_GRID_SCALE -
+            2 * Overlay.WORKSPACE_GRID_PADDING;
         this._height = screenHeight * Overlay.WORKSPACE_GRID_SCALE;
         this._x = screenWidth - this._width - Overlay.WORKSPACE_GRID_PADDING;
         this._y = Panel.PANEL_HEIGHT + (screenHeight - this._height - Panel.PANEL_HEIGHT) / 2;