95788c9834
Using a single resource file for all JS sources saves a couple of build system instructions, but has some serious downsides: - bundling the entire shell code with the tools blows up their size unnecessarily - the tools are rebuilt unnecessarily for any shell code change Autotools was painful enough to let this slip, but with meson we don't have any excuses - using the actual dependencies speeds up the build a tiny bit and reduces the tools' sizes from over 2M to about 50k. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/192
12 lines
301 B
XML
12 lines
301 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<gresources>
|
|
<gresource prefix="/org/gnome/shell">
|
|
<file>extensionPrefs/main.js</file>
|
|
|
|
<file>misc/config.js</file>
|
|
<file>misc/extensionUtils.js</file>
|
|
<file>misc/fileUtils.js</file>
|
|
<file>misc/params.js</file>
|
|
</gresource>
|
|
</gresources>
|