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

Remove unused workspace._visible property

Browse Source
This commit is contained in:
Adel Gadllah 2010-12-16 20:20:07 +01:00
parent e3aab2a90f
commit e41b0bc16d
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
js/ui/workspace.js
View File

@ -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() {