gnome-shell

History

Florian Müllner fc958f4215 windowManager: Move animation into WindowDimmer

Currently WindowDimmer exposes a JS property that is used to control the
underlying effect. This works fine with Tweener, but not with Clutter
animations which we want to use ultimately.

As a first step towards that, expose a setDimmed() method instead of
the property and handle the animation internally, so it can be adapted
more easily.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/666

2019-08-06 23:54:29 +02:00

extensionPrefs

cleanup: Mark globals used from other modules as exported

2019-07-24 00:28:45 +02:00

gdm

js: Use implicit animations for animatable properties

2019-08-06 23:54:29 +02:00

misc

cleanup: Use milliseconds for animation times

2019-08-05 21:55:20 +00:00

perf

perf: Shut up another eslint error