[gnome-shell] overview: Ignore dragEnd while the animation is still in progress

[Adel Gadllah <agadllah src gnome org>]

commit 80a3bb85aa4a66ed55b3d7465500e1c1f7cade6c
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Fri Sep 27 12:41:12 2013 +0200

    overview: Ignore dragEnd while the animation is still in progress
    
    Moving the mouse fast enough during xdnd will trigger a xdnd-leave event
    because the input shape is not updated until after the animation is done.
    
    So simply ignore the leave events while the animation is in progress.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=708887

 js/ui/overview.js |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/overview.js b/js/ui/overview.js
index 78dcf53..2210dfe 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -313,6 +313,9 @@ const Overview = new Lang.Class({
     },
 
     _onDragEnd: function(time) {
+        if (this.animationInProgress)
+            return;
+
         this._inXdndDrag = false;
 
         // In case the drag was canceled while in the overview