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	2019-07-05 11:32:31 +00:00
portalHelper	style: Stop using braces for single-line arrow functions	2019-07-02 12:17:46 +00:00
ui	panel: Remove unused constant	2019-07-23 20:05:19 +02:00
js-resources.gresource.xml	accessibility: Add pointer accessibility support	2019-06-06 09:13:29 +02:00
meson.build	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00
portal-resources.gresource.xml	build: Include params.js in portal-helper gresources	2018-10-23 15:38:31 +00:00
prefs-resources.gresource.xml	build: Use dedicated resources for helper programs	2018-08-14 17:28:04 +00:00