Florian Müllner 75f8279a19 extensionPrefs: Tweak UI ...

Update according to the latest mockups:
 - don't use a border around the list as specified
   by the latest HIG version
 - use more generous spacing between controls
 - allow extension descriptions to take up two lines
 - drop GNOME branding from the window title
 - make the app name consistent with the window title

https://bugzilla.gnome.org/show_bug.cgi?id=778672

2017-02-15 23:20:14 +01:00

..

main.js

extensionPrefs: Tweak UI

2017-02-15 23:20:14 +01:00