gnome-shell

History

Jonas Dreßler 2c4df6abcf pointerA11yTimeout: Fade the pie timer in

Fade the pie timer in using a duration of 1/4 of the timeout and a
EASE_IN_QUAD animation. This significantly reduces flickering of the pie
timer while moving the cursor and makes the timer less distracting.

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

2019-08-27 08:03:49 +00:00

extensionPrefs

extensionPrefs: Request correct GDK/GTK versions

2019-08-21 19:43:33 +02:00

gdm

js: Use Clutter transitions for adjustment changes

2019-08-07 18:40:49 +02:00

misc

util: Remove AppSettingsMonitor

2019-08-08 17:41:46 +02:00

perf

perf: Shut up another eslint error