gnome-shell

History

Florian Müllner 928595fe21 windowManager: Change effect's brightness property

The set_brightness() method is the most convenient way of controlling
the effect's brightness, but Clutter animations only deal with properties,
so start using the (ClutterColor) brightness property instead.

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

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

extensionPrefs

…

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

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