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
parent
7395aaf9
Please register or sign in to comment