Florian Müllner 99b4e047dd tweener: Use new adjustAnimationTime() helper
Now that we have a new helper function for adjusting animation times,
make Tweener use it so that we keep the code in a single place.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/22
2019-08-06 20:50:43 +02:00
..
2019-08-06 20:50:43 +02:00
2019-08-06 20:50:43 +02:00
2019-08-06 14:52:41 +02:00