gnome-shell/js
Florian Müllner acaa9f7f77 polkitAgent: Fix spinner
Commit 6af25b282c accidentally changed the case of the property.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/840
2019-11-21 22:04:39 +01:00
..
extensionPrefs cleanup: Avoid unnecessary parentheses 2019-11-11 19:25:14 +00:00
gdm style: Allow lonely ifs where appropriate 2019-11-11 23:51:17 +00:00
misc dateMenu: Format weather forecast times without AM/PM 2019-11-20 13:08:06 -08:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
ui polkitAgent: Fix spinner 2019-11-21 22:04:39 +01: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