From b47879d0a7871948a7dd290a5cd6c7c0b60f5d79 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 24 Jan 2020 19:00:37 +0100 Subject: [PATCH] extensionPrefs: Add info popover to headerbar Extensions can have a major impact on stability and performance. Now that the tool will become the main way for users to manage their extensions, it is an appropriate place to warn the user of that risk. Add a small info popover to the headerbar to display that warning, together with the previously removed hint of where to go for finding new extensions. https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968 --- js/extensionPrefs/ui/extensions-window.ui | 50 +++++++++++++++++++++++ 1 file changed, 50 insertions(+) diff --git a/js/extensionPrefs/ui/extensions-window.ui b/js/extensionPrefs/ui/extensions-window.ui index 4ac68b9d2..a3068033c 100644 --- a/js/extensionPrefs/ui/extensions-window.ui +++ b/js/extensionPrefs/ui/extensions-window.ui @@ -2,6 +2,44 @@ + + + + True + vertical + 12 + 6 + + + True + To find and add extensions, visit <a href="https://extensions.gnome.org">extensions.gnome.org</a>. + True + 0 + + + + + True + Warning + 0 + 6 + + + + + + + + True + Extensions can cause system issues, including performance problems. If you encounter problems with your system, it is recommended to disable all extensions. + True + 40 + 0 + + + + +