Florian Müllner 5d07832e96 extensionPrefs: Expose kill-switch ...

While the extension prefs tool is not meant as the primary way for
users to configure extensions - that will be Tweak Tool - it still
doesn't hurt to expose the extension kill switch to easily turn
extensions back on after a session crash.

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

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

..

main.js

extensionPrefs: Expose kill-switch

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