gnome-shell/js
Florian Müllner 10672597c2 dbusServices/extensions: Add basic extension manager
ExtensionUtils' getCurrentExtension() method currently either
returns the extension that was injected with setCurrentExtension(),
or imports Main locally to access the extensionManager.

But local imports won't work anymore when we convert to ESM,
and setCurrentExtension() is only an option for prefs.

Instead of diverging the code paths even further, we'll unify
the two cases as much as possible.

As a first step, add a basic extension manager in the Extensions
D-Bus service that exposes the same lookup() API as the "real"
extension manager.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2832>
2023-07-15 11:07:12 +00:00
..
dbusServices dbusServices/extensions: Add basic extension manager 2023-07-15 11:07:12 +00:00
gdm animationUtils: Group together various animation helpers 2023-07-15 02:35:56 +00:00
misc extensionUtils: Slightly optimize current extension lookup 2023-07-15 11:07:12 +00:00
portalHelper portalHelper: Port to ESM 2023-06-21 13:26:42 +02:00
ui dependencies: Migrate to ES module and organize dependencies 2023-07-15 02:35:56 +00:00
js-resources.gresource.xml environment: Split dependencies loading into a new file 2023-07-15 02:35:56 +00: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