Florian Müllner
|
f7ded3e509
|
extensions-app: Split out ExtensionManager
The extension handling is currently intertwined with the UI.
Splitting it out provides a clearer separation, and will allow
us to switch to a model-based UI later.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3067>
|
2023-12-21 15:24:23 +00:00 |
|