Florian Müllner f9e81284f8 extensionSystem: Allow changing extensions in ERROR state ...

While an extension's actual state can no longer change once it is
in ERROR state, its requested state can. In fact, disabling an
erroneous extension is highly recommended, so that it doesn't cause
problems again on the next login.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/7004

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3073>

2024-01-03 20:05:05 +00:00

..

dbusServices

dbusService: Exempt org.gnome.Shell from sender tracking

2023-12-13 01:27:51 +01:00

extensions

extensions: Fix ngettext convenience

2023-09-15 21:41:30 +00:00

gdm

js: Explicitly set expand of St.Bin children

2023-12-15 14:45:37 +00:00

misc

extensionSystem: Add 'enabled' property

2024-01-03 20:05:05 +00:00

portalHelper

js: Port Config to ESM

2023-08-10 17:42:23 +00:00

ui

extensionSystem: Allow changing extensions in ERROR state

2024-01-03 20:05:05 +00:00

js-resources.gresource.xml

components: Change component loading to be asynchronous

2023-08-05 22:16:23 +02:00

meson.build

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

portal-resources.gresource.xml

js/portal-resources: Add missing fileUtils to js path

2022-11-03 18:02:27 +00:00