gnome-shell/js
Florian Müllner 075f4a5efc extensionPrefs: Support extension updates
Now that we have support for extension updates in the shell, we
need some place to display the updates to the user.

As we are establishing the Extensions app as the primary way for
managing extensions, it's a natural place for that functionality.

Show which extensions have updates available, and offer a log out
button (so gnome-shell can apply the updates when logging back in).

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
2020-02-03 19:33:12 +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 extensionPrefs: Rename to Extensions 2020-02-03 19:03:19 +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