789e1b288a
GNOME Shell will only update extensions if the org.gnome.Extensions app is present. This commit adds alternative support for com.mattjakeman.ExtensionManager to the extension updating mechanism. It enables updates to occur when extension-manager is the sole installed tool on the system. When both applications are installed, org.gnome.Extensions is preferred at all times. Fixes #5564 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2358> |
||
---|---|---|
.. | ||
dbusServices | ||
gdm | ||
misc | ||
perf | ||
portalHelper | ||
ui | ||
js-resources.gresource.xml | ||
meson.build | ||
portal-resources.gresource.xml |