Florian Müllner c6f297e4e5 extensionPrefs: Include more extension details in expander ... The newly added expander gives us a place where we can display more details without cluttering the interface. Take advantage of that by including the extension website, version and author. (Author is in the mockups, but will not actually be shown until the extensions website is changed to include it in its metadata; however best to have UI and string in place for the freezes) https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968		2020-02-03 19:11:21 +01:00
..
extension-row.ui	extensionPrefs: Include more extension details in expander	2020-02-03 19:11:21 +01:00
extensions-window.ui	extensionPrefs: Rename to Extensions	2020-02-03 19:03:19 +01:00