Florian Müllner 1067642300 extensionPrefs: Move description into a expander ... 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		2020-02-03 19:11:21 +01:00
..
extension-row.ui	extensionPrefs: Move description into a expander	2020-02-03 19:11:21 +01:00
extensions-window.ui	extensionPrefs: Rename to Extensions	2020-02-03 19:03:19 +01:00