From efc194e36c53a43c77fa163d504814f1ca7092d3 Mon Sep 17 00:00:00 2001
From: Maxim Ermilov <zaspire@rambler.ru>
Date: Sat, 11 Jun 2011 17:40:12 +0400
Subject: [PATCH] workspace: reposition windows on workspace resize

initial window position was broken (part of close button was clipped)
https://bugzilla.gnome.org/show_bug.cgi?id=651012
---
 js/ui/workspace.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 9c1acd16b..c734f6f11 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -633,6 +633,7 @@ Workspace.prototype = {
             function () {
                 this._dropRect.set_position(x, y);
                 this._dropRect.set_size(width, height);
+                this.positionWindows(WindowPositionFlags.ANIMATE);
                 return false;
             }));