isa/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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

Browse Source 
svn path=/trunk/; revision=160
This commit is contained in:
Dan Winship 2009-01-21 21:59:58 +00:00
parent 9949d75fcc
commit 90bce45ec6
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
js/ui/workspaces.js
View File

@ -524,7 +524,8 @@ Workspaces.prototype = {
let screenWidth = global.screen_width; let screenWidth = global.screen_width;
let screenHeight = global.screen_height; 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._height = screenHeight * Overlay.WORKSPACE_GRID_SCALE;
this._x = screenWidth - this._width - Overlay.WORKSPACE_GRID_PADDING; this._x = screenWidth - this._width - Overlay.WORKSPACE_GRID_PADDING;
this._y = Panel.PANEL_HEIGHT + (screenHeight - this._height - Panel.PANEL_HEIGHT) / 2; this._y = Panel.PANEL_HEIGHT + (screenHeight - this._height - Panel.PANEL_HEIGHT) / 2;