Florian Müllner 5b73960f34 extensions: 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-extensions/-/merge_requests/148>

2021-01-14 14:40:54 +01:00

..

extension.js

user-themes: Support session mode styles

2020-04-17 16:33:03 +00:00

meson.build

user-themes: Add preference widget

2020-04-12 04:13:25 +02:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

org.gnome.shell.extensions.user-theme.gschema.xml

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

prefs.js

extensions: Stop using :margin shortcut

2021-01-14 14:40:54 +01:00

stylesheet.css

Fix zero-length warning for stylesheets

2011-07-09 15:06:01 +02:00

util.js

user-themes: Support session mode styles

2020-04-17 16:33:03 +00:00