23e5cd4e10
It's unused and was removed in commit a0467bf875, which broke extensions
that rely on it in their preference widget.
As the removal only happened post-3.36.0, add it back until we branch.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2476
19 lines
520 B
XML
19 lines
520 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<gresources>
|
|
<gresource prefix="/org/gnome/Shell/Extensions/js">
|
|
<file>main.js</file>
|
|
<file>extensionsService.js</file>
|
|
<file>dbusService.js</file>
|
|
|
|
<file>misc/config.js</file>
|
|
<file>misc/extensionUtils.js</file>
|
|
<file>misc/fileUtils.js</file>
|
|
<file>misc/params.js</file>
|
|
</gresource>
|
|
|
|
<gresource prefix="/org/gnome/Shell/Extensions">
|
|
<file>css/application.css</file>
|
|
<file>ui/extension-prefs-dialog.ui</file>
|
|
</gresource>
|
|
</gresources>
|