gnome-shell/js
Florian Müllner 2743f18af4 panel: Use dedicated Spinner class
The startup/busy indication in the app menu was left out of commit
22e21ad7d1 because it doesn't use a hard-coded image, but as the
image in the CSS is actually the same used by the spinner class,
drop the "custom" styling and use the regular spinner.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/636
2019-07-22 17:50:52 +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: Use dedicated Spinner class 2019-07-22 17:50:52 +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