From ae2af34453fb2c97487dce54be4d61846f4cad9b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 5 Jun 2014 00:13:14 +0200
Subject: [PATCH] environment: Add adjustAnimationTime() helper

As we currently use Tweener for all animations, we have a single place
for hooking up the enable-animations and slow-down-factor settings.
However that will no longer hold true when we'll start to use Clutter's
built-in animation facilities, so add a small helper function that
applies the necessary adjustments.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/22
---
 js/ui/environment.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/js/ui/environment.js b/js/ui/environment.js
index ce0c875fe..55d10198e 100644
--- a/js/ui/environment.js
+++ b/js/ui/environment.js
@@ -145,3 +145,17 @@ function init() {
     Tweener.init();
     String.prototype.format = Format.format;
 }
+
+// adjustAnimationTime:
+// @msecs: time in milliseconds
+//
+// Adjust @msecs to account for St's enable-animations
+// and slow-down-factor settings
+function adjustAnimationTime(msecs) {
+    let settings = St.Settings.get();
+
+    if (!settings.enable_animations)
+        return 1;
+    return settings.slow_down_factor * msecs;
+}
+