Florian Müllner db9ef11f28 extensionSystem: Install pending updates on startup ... Now that we have a way to check for updates and download them, we should actually apply them as well. Do this on startup before any extensions are initialized, to make sure we don't run into any conflicts with a previously loaded version. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/945		2020-01-30 13:37:47 +00:00
..
extensionPrefs	extensionPrefs: Don't (re-)bind text domain	2020-01-06 13:10:43 +00:00
gdm	js: Add caps-lock Warning to the dialogs	2019-12-17 23:08:43 +01:00
misc	extensionSystem: Add hasUpdate state	2020-01-30 13:37:47 +00: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	extensionSystem: Install pending updates on startup	2020-01-30 13:37:47 +00:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01: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