WorkspacesView: set the clip when setting the geometry

Fixes clipping the windows when you open the overview with the workspace
switcher expanded and then shrink it.

https://bugzilla.gnome.org/show_bug.cgi?id=694092
This commit is contained in:
Giovanni Campagna 2013-03-10 19:47:47 +01:00
parent 0ceefb48c8
commit d3ab367fcd

View File

@ -151,6 +151,9 @@ const WorkspacesView = new Lang.Class({
for (let i = 0; i < this._workspaces.length; i++)
this._workspaces[i].setGeometry(x, y, width, height);
if (Main.overview.visible && !Main.overview.animationInProgress)
this.actor.set_clip(this._x, this._y, this._width, this._height);
},
_lookupWorkspaceForMetaWindow: function (metaWindow) {