From f35ee1a5a0f0d06a53aca08cc7a6cc8f0984b1c1 Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@src.gnome.org>
Date: Thu, 29 Jan 2009 21:25:35 +0000
Subject: [PATCH] oops, remove Workspace._makeDesktopRectangle, it's unused now

svn path=/trunk/; revision=173
---
 js/ui/workspaces.js | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/js/ui/workspaces.js b/js/ui/workspaces.js
index b9e5685b5..c75299605 100644
--- a/js/ui/workspaces.js
+++ b/js/ui/workspaces.js
@@ -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;