9e00e8a0fb
While gnome-shell will now check for extension updates, the checks are performed infrequently. Opening the Extensions app implies that the user's current focus is on extensions, so it is an appropriate time to schedule another updates check. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
portalHelper | ||
ui | ||
js-resources.gresource.xml | ||
meson.build | ||
portal-resources.gresource.xml | ||
prefs-resources.gresource.xml |