workspace: hide the overlay for a zoomed window when exiting the overivew

Otherwise it remains visible until the overview animation is completed.

https://bugzilla.gnome.org/show_bug.cgi?id=674323
This commit is contained in:
Stefano Facchini 2012-04-18 13:54:06 +02:00
parent 221afde55e
commit 6304169926

View File

@ -1134,7 +1134,6 @@ const Workspace = new Lang.Class({
_hideAllOverlays: function() { _hideAllOverlays: function() {
for (let i = 0; i < this._windows.length; i++) { for (let i = 0; i < this._windows.length; i++) {
let clone = this._windows[i]; let clone = this._windows[i];
Tweener.removeTweens(clone.actor);
let overlay = this._windowOverlays[i]; let overlay = this._windowOverlays[i];
if (overlay) if (overlay)
overlay.hide(); overlay.hide();
@ -1321,7 +1320,10 @@ const Workspace = new Lang.Class({
this.leavingOverview = true; this.leavingOverview = true;
this._hideAllOverlays(); for (let i = 0; i < this._windows.length; i++) {
let clone = this._windows[i];
Tweener.removeTweens(clone.actor);
}
if (this._repositionWindowsId > 0) { if (this._repositionWindowsId > 0) {
Mainloop.source_remove(this._repositionWindowsId); Mainloop.source_remove(this._repositionWindowsId);
@ -1361,6 +1363,7 @@ const Workspace = new Lang.Class({
} }
} }
this._hideAllOverlays();
}, },
destroy : function() { destroy : function() {