brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9c6f558c9e
gnome-shell/js/gdm
History
Florian Müllner 476816732f cleanup: Use milliseconds for animation times 
The different units - seconds for Tweener and milliseconds for
timeouts - are not a big issue currently, as there is little
overlap. However this will change when we start using Clutter's
own animation framework (which uses milliseconds as well), in
particular where constants are shared between modules.

In order to prepare for the transition, define all animation times
as milliseconds and adjust them when passing them to Tweener.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/663
2019-08-05 21:55:20 +00:00
..
authPrompt.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
batch.js style: Fix indentation errors 2019-07-02 12:17:46 +00:00
fingerprint.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
loginDialog.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00
oVirt.js cleanup: Mark globals used from other modules as exported 2019-07-24 00:28:45 +02:00
realmd.js cleanup: Remove some unhelpful unused arguments 2019-07-24 00:28:45 +02:00
util.js cleanup: Use milliseconds for animation times 2019-08-05 21:55:20 +00:00