[gnome-shell/T27795: 6/138] boxPointer: Fix arrow's position the second time a folder is opened

[Georges Basile Stavracas Neto <gbsneto src gnome org>]

commit 1837e7fb2acf794c4952062c80947b3e168cffdd
Author: Joaquim Rocha <jrocha endlessm com>
Date:   Fri Jul 21 14:59:20 2017 +0200

    boxPointer: Fix arrow's position the second time a folder is opened
    
    The second time a folder is opened, the arrow of the folder popup will
    be shown in the wrong position (as if pushed to the left). This is due
    to its transformed position, which is affected depending on the
    allocation of the boxPointer's container.
    
    This patch simply queues a repaint when the allocation is changed which
    fixes the issue.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=778323
    
    https://phabricator.endlessm.com/T17838

 js/ui/boxpointer.js | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index 285454e642..5e7770b72f 100644
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -243,6 +243,10 @@ var BoxPointer = GObject.registerClass({
             this._updateFlip(box);
             this.set_allocation(box, flags);
         }
+
+        // Since the allocation changed, we need to redraw the arrow, otherwise
+        // it can be left in the wrong place
+        this._border.queue_repaint();
     }
 
     _drawBorder(area) {