[gnome-shell/gnome-3-18] animation: do spinner animation with low priority

[Ray Strode <halfline src gnome org>]

commit a83f822512aaf4fa8dd6519ada10d7b71241b367
Author: Ray Strode <rstrode redhat com>
Date:   Tue Oct 20 16:52:11 2015 -0400

    animation: do spinner animation with low priority
    
    It's very unexpected that a spinner animation would
    preempt idles from running.
    
    This commit runs the spinner animation with a low
    priority to ensure it doesn't take over the main
    loop.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=754814

 js/ui/animation.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/animation.js b/js/ui/animation.js
index d86fefe..23ec934 100644
--- a/js/ui/animation.js
+++ b/js/ui/animation.js
@@ -33,7 +33,7 @@ const Animation = new Lang.Class({
             if (this._frame == 0)
                 this._showFrame(0);
 
-            this._timeoutId = Mainloop.timeout_add(this._speed, Lang.bind(this, this._update));
+            this._timeoutId = GLib.timeout_add(GLib.PRIORITY_LOW, this._speed, Lang.bind(this, 
this._update));
             GLib.Source.set_name_by_id(this._timeoutId, '[gnome-shell] this._update');
         }