From e2e90a550e4bba1f3408e01a56d65d11c49fb86b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 25 Jan 2011 19:12:03 +0100
Subject: [PATCH] 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 file changed, 4 insertions(+)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index e44f5584d..ddd82bcc0 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);