Florian Müllner 2d34fbe2e7 extensions-app: Use banner instead of action bar ...

Action bars have largely gone out of fashion, and Banner is an
appropriate replacement in our case, so switch to that.

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

2023-12-11 14:24:01 +00:00

..

misc

extensions-app: Port config to ESM

2023-08-07 19:05:50 +00:00

gnome-extensions-app.in

extensions-app: Port to ESM

2023-06-21 13:26:42 +02:00

main.js

extensions-app: Use banner instead of action bar

2023-12-11 14:24:01 +00:00

meson.build

extensions-app: Include a non-fake Config

2023-07-13 15:33:06 +00:00

org.gnome.Extensions.in

extensions-app: Port to ESM

2023-06-21 13:26:42 +02:00

org.gnome.Extensions.src.gresource.xml.in

extensions-app: Support building a separate Devel app

2021-02-11 17:45:00 +01:00