Florian Müllner a911447375 js: Port to ESM ...

The shell pulled the trigger and switched to ESM for all its
imports, follow suit.

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

2023-08-06 15:59:35 +02:00

..

extension.js

js: Port to ESM

2023-08-06 15:59:35 +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

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

prefs.js

extensions: Use new convenience classes

2023-08-05 18:53:41 +02:00

util.js

extensions: Turn extensions into modules

2023-07-07 00:35:08 +02:00