gnome-shell/js
Florian Müllner 529829a561 extensionSystem: Periodically check for extension updates
Now that we can download, apply and display extension updates, it is time
to actually check for updates. Schedule an update check right on startup,
then every 24 hours.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-02-03 19:33:14 +01:00
..
extensionPrefs extensionPrefs: Support extension updates 2020-02-03 19:33:12 +01:00
gdm util: Move wiggle parameters to a common place 2020-02-01 08:06:31 +01:00
misc util: Move wiggle parameters to a common place 2020-02-01 08:06:31 +01:00
perf cleanup: Require "dangling" commas 2019-11-11 19:25:14 +00:00
portalHelper portalHelper: Require GTK 3.0 2020-01-31 17:39:18 +01:00
ui extensionSystem: Periodically check for extension updates 2020-02-03 19:33:14 +01: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 extensionPrefs: Move description into a expander 2020-02-03 19:11:21 +01:00