brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

extensions-app: Update group headers

Browse Source 
Change titles to the clearer "User/System Extensions" and drop the
description.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3051>
This commit is contained in:
Florian Müllner 2023-12-11 00:42:50 +01:00 committed by Marge Bot
parent e064c2a785
commit a6d991b8f2
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
subprojects/extensions-app/data/ui/extensions-window.ui
View File

@ -138,8 +138,7 @@
</child>
<child>
<object class="AdwPreferencesGroup" id="userGroup">
<property name="title" translatable="yes">Manually Installed</property>
<property name="description" translatable="yes">To find and add extensions, visit &lt;a href="https://extensions.gnome.org"&gt;extensions.gnome.org&lt;/a&gt;.</property>
<property name="title" translatable="yes">User Extensions</property>
<child>
<object class="GtkListBox" id="userList">
<property name="selection-mode">none</property>
@ -152,7 +151,7 @@
</child>
<child>
<object class="AdwPreferencesGroup" id="systemGroup">
<property name="title" translatable="yes">Built-In</property>
<property name="title" translatable="yes">System Extensions</property>
<child>
<object class="GtkListBox" id="systemList">
<property name="selection-mode">none</property>