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

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

commit e073670c4db581a4468d9b35a84740553a1f95e0
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 3005c8d..17e19cb 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1073,6 +1073,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)