Florian Müllner
51ce4981c8
This brings back the workspace-previews setting, and adds the ability to change the workspace names. Given that those names are used as tooltips or preview titles, it makes sense to allow editing them from the extension prefs rather than relying on external tools (like dconf-editor). Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/344>
45 lines
1.2 KiB
Meson
45 lines
1.2 KiB
Meson
# SPDX-FileCopyrightText: 2017 Florian Müllner <fmuellner@gnome.org>
|
|
#
|
|
# SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
extension_data += configure_file(
|
|
input: metadata_name + '.in',
|
|
output: metadata_name,
|
|
configuration: metadata_conf
|
|
)
|
|
extension_data += files(
|
|
'stylesheet-dark.css',
|
|
'stylesheet-light.css'
|
|
)
|
|
|
|
transform_stylesheet = [
|
|
'sed', '-E',
|
|
'-e', 's:^\.(workspace-indicator):.window-list-\\1:',
|
|
'-e', '/^@import/d',
|
|
'@INPUT@',
|
|
]
|
|
|
|
workspaceIndicatorSources = [
|
|
configure_file(
|
|
input: '../workspace-indicator/workspaceIndicator.js',
|
|
output: '@PLAINNAME@',
|
|
copy: true,
|
|
),
|
|
configure_file(
|
|
input: '../workspace-indicator/stylesheet-dark.css',
|
|
output: 'stylesheet-workspace-switcher-dark.css',
|
|
command: transform_stylesheet,
|
|
capture: true,
|
|
),
|
|
configure_file(
|
|
input: '../workspace-indicator/stylesheet-light.css',
|
|
output: 'stylesheet-workspace-switcher-light.css',
|
|
command: transform_stylesheet,
|
|
capture: true,
|
|
),
|
|
files('../workspace-indicator/workspacePrefs.js'),
|
|
]
|
|
|
|
extension_sources += files('prefs.js') + workspaceIndicatorSources
|
|
extension_schemas += files(metadata_conf.get('gschemaname') + '.gschema.xml')
|