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

Make the workspaces view a temporary "widget", rather than having it always

Browse Source 
around

svn path=/trunk/; revision=124
This commit is contained in:
Dan Winship
2008-12-15 20:48:59 +00:00
parent 98860733bb
commit 249e65ee30
2 changed files with 14 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
js/ui/overlay.js
View File

@ -121,9 +121,6 @@ Sideshow.prototype = {
show: function() {
this._appDisplay.show();
},
hide: function() {
}
};
Signals.addSignalMethods(Sideshow.prototype);
@ -155,11 +152,6 @@ Overlay.prototype = {
// TODO - recalculate everything when desktop size changes
this._recalculateSize();
this._workspaces = new Workspaces.Workspaces(
this._workspaceGridX, this._workspaceGridY,
this._workspaceGridWidth, this._workspaceGridHeight);
this._group.add_actor(this._workspaces._group);
this._sideshow = new Sideshow(this._group, this._workspaceGridX - 10);
this._sideshow.connect('activated', function(sideshow) {
// TODO - have some sort of animation/effect while
@ -192,8 +184,12 @@ Overlay.prototype = {
this._recalculateSize();
this._sideshow.show();
this._workspaces.show();
this._workspaces._group.raise_top();
this._workspaces = new Workspaces.Workspaces(
this._workspaceGridX, this._workspaceGridY,
this._workspaceGridWidth, this._workspaceGridHeight);
this._group.add_actor(this._workspaces.actor);
this._workspaces.actor.raise_top();
// All the the actors in the window group are completely obscured,
// hiding the group holding them while the overlay is displayed greatly
@ -211,7 +207,6 @@ Overlay.prototype = {
return;
this._workspaces.hide();
this._sideshow.hide();
// Dummy tween, just waiting for the workspace animation
Tweener.addTween(this,
@ -220,15 +215,16 @@ Overlay.prototype = {
onCompleteScope: this
});
},
_hideDone: function() {
let global = Shell.Global.get();
this.visible = false;
global.window_group.show();
this._group.lower_bottom();
this._group.hide();
this._workspaces.hideDone();
this._workspaces.destroy();
this._workspaces = null;
},
_deactivate : function() {