gnome-shell

History

Florian Müllner 3f8d3a7ee2 panel: Remove unused constant

This was left-over in commit 2743f18af, and probably is the real reason
why the busy spinner wasn't using the shared AnimatedIcon.Spinner class:
The animation there was much slower.

Still, let's keep the code as-is for now, if we really need a different
animation time, we can add an optional constructor parameter to the
Spinner class.

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

2019-07-23 20:05:19 +02:00

extensionPrefs

extensionPrefs: Add missing return value

2019-07-22 13:18:55 +00:00

gdm

cleanup: Prefer template strings

2019-07-05 11:32:31 +00:00

misc

extensionSystem: Store extensions in a Map

2019-07-20 14:17:35 +00:00

perf

cleanup: Prefer template strings