[gnome-shell] Delay rearrangement when cursor hovers a window

[Adel Gadllah <agadllah src gnome org>]

commit b88b74342869f31ed169a4beadd40760eecafa94
Author: Vit Stanislav <slaweet seznam cz>
Date:   Sun Jan 8 10:58:00 2012 +0100

    Delay rearrangement when cursor hovers a window
    
    In overview when closing a window and afterwards dragging a window it can
    happen that you pick a wrong window or no window if windows' positions is
    updated while initiating the drag.
    Fix that by delaying window rearrangement when cursor is over a window.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=645325

 js/ui/workspace.js |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index b618bb6..fffa7c3 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -1155,6 +1155,12 @@ const Workspace = new Lang.Class({
             return true;
         }
 
+        let actorUnderPointer = global.stage.get_actor_at_pos(Clutter.PickMode.REACTIVE, x, y);
+        for (let i = 0; i < this._windows.length; i++) {
+            if (this._windows[i].actor == actorUnderPointer)
+                return true;
+        }
+
         this.positionWindows(WindowPositionFlags.ANIMATE);
         return false;
     },