[gnome-tweak-tool] extensions: Expose extension "kill switch"

[Florian Müllner <fmuellner src gnome org>]

commit dae916565f6e939f738b262cf39d3b7cd7e8a02c
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Feb 8 23:25:13 2017 +0100

    extensions: Expose extension "kill switch"
    
    Rather than resetting the list of user extensions on session failure,
    gnome-session now disables extensions via a dedicated "kill switch"
    setting. It makes sense to expose this in the UI to give users a
    convenient way to re-enable their extensions.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=778669

 gtweak/tweaks/tweak_group_shell_extensions.py |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_shell_extensions.py b/gtweak/tweaks/tweak_group_shell_extensions.py
index e33966f..8ff6cd1 100644
--- a/gtweak/tweaks/tweak_group_shell_extensions.py
+++ b/gtweak/tweaks/tweak_group_shell_extensions.py
@@ -6,6 +6,7 @@ import json
 
 from gi.repository import Gtk
 from gi.repository import GLib
+from gi.repository import Gio
 from gi.repository import Pango
 
 from operator import itemgetter
@@ -46,6 +47,9 @@ class _ShellExtensionTweak(Gtk.ListBoxRow, Tweak):
         state = ext.get("state")
         uuid = ext["uuid"]
 
+        shell._settings.bind("disable-user-extensions", self,
+                             "sensitive", Gio.SettingsBindFlags.INVERT_BOOLEAN)
+
         sw = Gtk.Switch()
         sw.props.vexpand = False
         sw.props.valign = Gtk.Align.CENTER
@@ -301,6 +305,10 @@ class ShellExtensionTweakGroup(ListBoxTweakGroup):
                                    _("Extensions"),
                                    *extension_tweaks)
         
+        self.titlebar_widget = Gtk.Switch(visible=True)
+        shell._settings.bind("disable-user-extensions", self.titlebar_widget,
+                             "active", Gio.SettingsBindFlags.INVERT_BOOLEAN)
+
         self.set_header_func(self._list_header_func, None)
 
     def _got_info(self, ego, resp, uuid, extension, widget):