[gnome-shell] Overview: Adjust to window size changes

[Florian Müllner <fmuellner src gnome org>]

commit e2e90a550e4bba1f3408e01a56d65d11c49fb86b
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Jan 25 19:12:03 2011 +0100

    Overview: Adjust to window size changes
    
    Windows may change their size while the overview is open, e.g. when
    switching panels in the control center. Make sure that the preview's
    position and overlay are updated in that case.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=640560

 js/ui/workspace.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index e44f558..ddd82bc 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1325,6 +1325,10 @@ Workspace.prototype = {
                       Lang.bind(this, function() {
                           this._windowIsZooming = false;
                       }));
+        win.connect('size-changed',
+                    Lang.bind(this, function() {
+                        this.positionWindows(0);
+                    }));
 
         this.actor.add_actor(clone.actor);