From a6d991b8f22078440536d7ed6580e039d6e727ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Mon, 11 Dec 2023 00:42:50 +0100 Subject: [PATCH] extensions-app: Update group headers Change titles to the clearer "User/System Extensions" and drop the description. Part-of: --- subprojects/extensions-app/data/ui/extensions-window.ui | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui index 32182d965..71ed7a404 100644 --- a/subprojects/extensions-app/data/ui/extensions-window.ui +++ b/subprojects/extensions-app/data/ui/extensions-window.ui @@ -138,8 +138,7 @@ - Manually Installed - To find and add extensions, visit <a href="https://extensions.gnome.org">extensions.gnome.org</a>. + User Extensions none @@ -152,7 +151,7 @@ - Built-In + System Extensions none