gnome-shell r160 - trunk/js/ui

[danw svn gnome org]

Author: danw
Date: Wed Jan 21 21:59:58 2009
New Revision: 160
URL: http://svn.gnome.org/viewvc/gnome-shell?rev=160&view=rev

Log:
fix workspaces padding a little. (it's still not quite right)


Modified:
   trunk/js/ui/workspaces.js

Modified: trunk/js/ui/workspaces.js
==============================================================================
--- trunk/js/ui/workspaces.js	(original)
+++ trunk/js/ui/workspaces.js	Wed Jan 21 21:59:58 2009
@@ -524,7 +524,8 @@
         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;