[gnome-shell] overview: Fix zoom animation

[Adel Gadllah <agadllah src gnome org>]

commit 16fa186b633d223ed117554e87231a30236b9e87
Author: Adel Gadllah <adel gadllah gmail com>
Date:   Mon Jun 24 22:53:56 2013 +0200

    overview: Fix zoom animation
    
    When the allocation of the workspacesView changes during the animation we override
    the tween with one that does not animate causing the overview zoom animation
    not to happen.
    
    Fix that by ignoring the alloactionChanged notification during the overview
    animation.

 js/ui/workspacesView.js |    8 +++++++-
 1 files changed, 7 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 50f079c..3eb9c0d 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -446,7 +446,7 @@ const WorkspacesDisplay = new Lang.Class({
 
     _init: function() {
         this.actor = new St.Widget({ clip_to_allocation: true });
-        this.actor.connect('notify::allocation', Lang.bind(this, this._updateWorkspacesActualGeometry));
+        this.actor.connect('notify::allocation', Lang.bind(this, this._allocationChanged));
         this.actor.connect('parent-set', Lang.bind(this, this._parentSet));
 
         let clickAction = new Clutter.ClickAction()
@@ -676,6 +676,12 @@ const WorkspacesDisplay = new Lang.Class({
         }
     },
 
+    _allocationChanged: function() {
+        if (Main.overview.animationInProgress)
+            return;
+        this._updateWorkspacesActualGeometry();
+    },
+
     _updateWorkspacesActualGeometry: function() {
         if (!this._workspacesViews.length)
             return;