[gnome-shell] Remove unused workspace._visible property

[Adel Gadllah <agadllah src gnome org>]

commit e41b0bc16d297f3ad06f0cf5cf44bc2b8c2efc08
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Thu Dec 16 20:20:07 2010 +0100

    Remove unused workspace._visible property

 js/ui/workspace.js |    5 -----
 1 files changed, 0 insertions(+), 5 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index b7837e8..0f53380 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() {