Florian Müllner e1b30b2924 extension-prefs: Give the UI a bit of GNOME 3 treatment ... The extension-prefs UI has never been great, but as the GNOME 3 design patterns are evolving, it is starting to look seriously outdated. Modernize the UI a bit to have it fit in a bit better. https://bugzilla.gnome.org/show_bug.cgi?id=730829		2014-05-27 18:02:25 +02:00
..
main.js	extension-prefs: Give the UI a bit of GNOME 3 treatment	2014-05-27 18:02:25 +02:00