[gnome-shell] workspace: reposition windows on workspace resize

[Maxim Ermilov <mermilov src gnome org>]

commit efc194e36c53a43c77fa163d504814f1ca7092d3
Author: Maxim Ermilov <zaspire rambler ru>
Date:   Sat Jun 11 17:40:12 2011 +0400

    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 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 9c1acd1..c734f6f 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;
             }));