739b1e11a0
While we don't endorse or support 3rd party theming, the extension exists and is actively used. However right now the most convenient way of setting it up is by installing Tweak Tool; give users an alternative by providing a simple settings dialog ourselves. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/117
9 lines
253 B
Meson
9 lines
253 B
Meson
extension_data += configure_file(
|
|
input: metadata_name + '.in',
|
|
output: metadata_name,
|
|
configuration: metadata_conf
|
|
)
|
|
|
|
extension_sources += files('prefs.js', 'util.js')
|
|
extension_schemas += files(metadata_conf.get('gschemaname') + '.gschema.xml')
|