Florian Müllner 521f5f2b6b extensionPrefs: Add switches to enable/disable extensions ... Bring the extension-prefs tool in line with the mockup by adding switches to enable/disable extensions, similar to the extension page in gnome-tweak-tool. https://bugzilla.gnome.org/show_bug.cgi?id=730829		2014-05-27 18:02:25 +02:00
..
main.js	extensionPrefs: Add switches to enable/disable extensions	2014-05-27 18:02:25 +02:00