1067642300
The description can be useful information, but also increases the visual complexity of the extensions list. Move it into a hidden details area that can be expanded, which unclutters the interface while keeping the information readily available. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968
17 lines
551 B
XML
17 lines
551 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>
|
|
|
|
<file alias="css/application.css">extensionPrefs/css/application.css</file>
|
|
|
|
<file alias="ui/extension-row.ui">extensionPrefs/ui/extension-row.ui</file>
|
|
<file alias="ui/extensions-window.ui">extensionPrefs/ui/extensions-window.ui</file>
|
|
</gresource>
|
|
</gresources>
|