Florian Müllner 3af90918a3 extensions-app: Stop using :margin shortcut ...

The property has been removed in GTK4, so prepare for a port by
setting the four individual margin properties instead.

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

2021-01-14 13:03:21 +00:00

..

css

extensions-app: Indicate extension errors

2020-05-21 21:45:04 +00:00

dbus-interfaces

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

icons

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

metainfo

Change upcoming version (again)

2020-12-25 23:30:25 +01:00

ui

extensions-app: Stop using :margin shortcut

2021-01-14 13:03:21 +00:00

meson.build

extensions-app: Validate .desktop file during meson test

2020-04-05 11:02:00 +00:00

org.gnome.Extensions.data.gresource.xml

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

org.gnome.Extensions.desktop.in.in

extensions-app: Add category in .desktop file

2020-04-05 11:02:00 +00:00

org.gnome.Extensions.service.in

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00