[gnome-shell] boxpointer: Defer re-allocation after a flip

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

commit 43876a9357495b1d4bb8aa97ba9c4afd477d56e3
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Fri Dec 21 09:20:04 2012 -0500

    boxpointer: Defer re-allocation after a flip
    
    As we may be flipping the box pointer in response to re-allocation,
    like the addition of a new actor to the boxpointer, we can't queue
    a re-layout while in a re-layout, so defer.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=690608

 js/ui/boxpointer.js |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index 8973404..9fa800c 100644
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -582,7 +582,10 @@ const BoxPointer = new Lang.Class({
         if (this._arrowSide != arrowSide) {
             this._arrowSide = arrowSide;
             this._reposition();
-            this._container.queue_relayout();
+            Meta.later_add(Meta.LaterType.BEFORE_REDRAW, Lang.bind(this, function() {
+                this._container.queue_relayout();
+                return false;
+            }));
         }
     },