[gnome-shell/wip/re-search: 15/16] workspace: Don't recalculate window positions when leaving the overview

[Jasper St. Pierre <jstpierre src gnome org>]

commit b280ac51abf3cb650b60b285166441d47853e7bc
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Mon Aug 20 20:08:40 2012 -0400

    workspace: Don't recalculate window positions when leaving the overview
    
    https://bugzilla.gnome.org/show_bug.cgi?id=682286

 js/ui/workspace.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 8edab8b..163cc20 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1000,6 +1000,9 @@ const Workspace = new Lang.Class({
      *  ANIMATE - Indicates that we need animate changing position.
      */
     positionWindows: function(flags) {
+        if (this.leavingOverview)
+            return;
+
         this._positionWindowsFlags |= flags;
 
         if (this._positionWindowsId > 0)