[gnome-shell] WorkspacesView: set the clip when setting the geometry

[Giovanni Campagna <gcampagna src gnome org>]

commit d3ab367fcd95917026b18b92730953a4623de2c8
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Sun Mar 10 19:47:47 2013 +0100

    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

 js/ui/workspacesView.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 2a473c9..ffabaf4 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -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) {