From e41b0bc16d297f3ad06f0cf5cf44bc2b8c2efc08 Mon Sep 17 00:00:00 2001
From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Thu, 16 Dec 2010 20:20:07 +0100
Subject: [PATCH] Remove unused workspace._visible property

---
 js/ui/workspace.js | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index b7837e853..0f53380af 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -566,8 +566,6 @@ Workspace.prototype = {
                                                             Lang.bind(this, this._windowRemoved));
         this._repositionWindowsId = 0;
 
-        this._visible = false;
-
         this.leavingOverview = false;
     },
 
@@ -1206,8 +1204,6 @@ Workspace.prototype = {
             this.positionWindows(WindowPositionFlags.ANIMATE | WindowPositionFlags.ZOOM);
         else
             this.positionWindows(WindowPositionFlags.ZOOM);
-
-        this._visible = true;
     },
 
     // Animates the return from Overview mode
@@ -1253,7 +1249,6 @@ Workspace.prototype = {
             }
         }
 
-        this._visible = false;
     },
 
     destroy : function() {