gnome-shell r173 - trunk/js/ui

[danw svn gnome org]

Author: danw
Date: Thu Jan 29 21:25:35 2009
New Revision: 173
URL: http://svn.gnome.org/viewvc/gnome-shell?rev=173&view=rev

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


Modified:
   trunk/js/ui/workspaces.js

Modified: trunk/js/ui/workspaces.js
==============================================================================
--- trunk/js/ui/workspaces.js	(original)
+++ trunk/js/ui/workspaces.js	Thu Jan 29 21:25:35 2009
@@ -710,23 +710,6 @@
         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;