[gnome-shell] Avoid popping the workspace controls in and out at the end of DND

[Owen Taylor <otaylor src gnome org>]

commit 1b8bfda3b4e0444ed3073e03df6abb9750f0992b
Author: Owen W. Taylor <otaylor fishsoup net>
Date:   Sun Jan 30 16:38:13 2011 -0500

    Avoid popping the workspace controls in and out at the end of DND
    
    At the end of a drag operation, we would invoke the code to slide the
    controls in (because we were no longer DND'ing and not hovering) and
    then immediately afterwards invoke the code to slide it back out when
    we got the ENTER event from the end of DND. While the immediately
    overridden tween probably won't have any visible effect it's better
    to avoid this, so wait to update the zoom state until BEFORE_REDRAW.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=640996

 js/ui/workspacesView.js |   10 +++++++++-
 1 files changed, 9 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 3ab93bb..1246299 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -3,6 +3,7 @@
 const Clutter = imports.gi.Clutter;
 const Lang = imports.lang;
 const Mainloop = imports.mainloop;
+const Meta = imports.gi.Meta;
 const Shell = imports.gi.Shell;
 const St = imports.gi.St;
 const Signals = imports.signals;
@@ -992,7 +993,14 @@ WorkspacesDisplay.prototype = {
 
     _dragEnd: function() {
         this._inDrag = false;
-        this._updateZoom();
+
+        // We do this deferred because drag-end is emitted before dnd.js emits
+        // event/leave events that were suppressed during the drag. If we didn't
+        // defer this, we'd zoom out then immediately zoom in because of the
+        // enter event we received. That would normally be invisible but we
+        // might as well avoid it.
+        Meta.later_add(Meta.LaterType.BEFORE_REDRAW,
+                       Lang.bind(this, this._updateZoom));
     }
 };
 Signals.addSignalMethods(WorkspacesDisplay.prototype);