gnome-shell-extensions

Files

Florian Müllner 563d7770d3 lint: Sync with gnome-shell

gnome-shell started transitioning to gjs' object spacing rule,
i.e. `{foo: 42}` instead of `{ foo: 42 }`.

We have a much smaller code base than the shell and aren't using
a secondary "allowed-but-deprecated" configuration that allows a
gradual transition, so just pull the switch and update to the new
style.

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

2022-08-20 19:00:32 +02:00

extension.js

lint: Sync with gnome-shell

2022-08-20 19:00:32 +02: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