[gnome-shell/wip/paging-release2: 15/23] boxPointer: Allow to update the arrow side

[Florian Müllner <fmuellner src gnome org>]

commit 6143188d2903bb3a516af7aa61b13f47b1b0bfaf
Author: Carlos Soriano <carlos soriano89 gmail com>
Date:   Fri Aug 30 18:50:35 2013 +0200

    boxPointer: Allow to update the arrow side
    
    Add a function to allow to update the arrow side
    
    https://bugzilla.gnome.org/show_bug.cgi?id=706081

 js/ui/boxpointer.js |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/boxpointer.js b/js/ui/boxpointer.js
index 2fd1a67..6c1631a 100644
--- a/js/ui/boxpointer.js
+++ b/js/ui/boxpointer.js
@@ -639,5 +639,10 @@ const BoxPointer = new Lang.Class({
 
     get opacity() {
         return this.actor.opacity;
+    },
+
+    updateArrowSide: function(side) {
+        this._arrowSide = side;
+        this._border.queue_repaint();
     }
 });