Allan DayandFlorian Müllner 86761952c3 apps-menu: Rename Applications to Apps ...

Nowadays people call applications apps, and GNOME uses the latter
term rather than the former.

Closes https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/481

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

2024-02-06 19:40:30 +01:00

..

extension.js

apps-menu: Rename Applications to Apps

2024-02-06 19:40:30 +01:00

meson.build

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

metadata.json.in

apps-menu: Rename Applications to Apps

2024-02-06 19:40:30 +01:00

org.gnome.shell.extensions.apps-menu.gschema.xml

Make project compatible with Reuse Software spec

2023-08-17 11:51:48 +00:00

stylesheet.css

apps-menu: Use stylesheet to set width

2023-11-23 21:13:30 +01:00