Romain Vigier ab5977713b extensions-app: Use AdwPreferencesPage and AdwPreferencesGroup ...

Give consistent styling and sizing to extensions lists.

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

2022-01-05 15:50:47 +01:00

..

extension-row.ui

…

extensions-window.ui

…