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

oops, remove Workspace._makeDesktopRectangle, it's unused now

Browse Source 
svn path=/trunk/; revision=173
This commit is contained in:
Dan Winship 2009-01-29 21:25:35 +00:00
parent 5def603e86
commit f35ee1a5a0
1 changed files with 0 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
js/ui/workspaces.js
View File

@ -710,23 +710,6 @@ Workspace.prototype = {
return clone;
},
// Create a texture for the desktop background, used in the case
// where there is no desktop window
_makeDesktopRectangle : function() {
let global = Shell.Global.get();
// In the case when we have a desktop window from the file
// manager, its height is full-screen, i.e. it includes the
// height of the panel, so we should not subtract the height
// of the panel from global.screen_height here either to have
// them show up identically.
return new Clutter.Rectangle({ color: global.stage.color,
x: 0,
y: 0,
width: global.screen_width,
height: global.screen_height });
},
_computeWindowPosition : function(index) {
// ignore this._windows[0], which is the desktop
let windowIndex = index - 1;