mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
f7ded3e509
The extension handling is currently intertwined with the UI. Splitting it out provides a clearer separation, and will allow us to switch to a model-based UI later. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3067>
12 lines
343 B
XML
12 lines
343 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<gresources>
|
|
<gresource prefix="/org/gnome/Extensions@profile@/js">
|
|
<file>extensionManager.js</file>
|
|
<file>extensionRow.js</file>
|
|
<file>extensionsWindow.js</file>
|
|
<file>main.js</file>
|
|
|
|
<file>misc/config.js</file>
|
|
<file>misc/extensionUtils.js</file>
|
|
</gresource>
|
|
</gresources>
|