Florian Müllner b47879d0a7 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		2020-02-03 19:03:19 +01:00
..
ui	extensionPrefs: Add info popover to headerbar	2020-02-03 19:03:19 +01:00
main.js	extensionPrefs: Scroll with key focus	2020-02-03 19:03:19 +01:00