[gnome-tweak-tool] Add GSettingsCheckTweak

[John Stowers <jstowers src gnome org>]

commit a23e11797008ab6e40f38589cd41fdc84ef23994
Author: John Stowers <john stowers gmail com>
Date:   Sun Aug 4 14:12:34 2013 +0200

    Add GSettingsCheckTweak

 gtweak/widgets.py |   16 ++++++++++++++++
 1 files changed, 16 insertions(+), 0 deletions(-)
---
diff --git a/gtweak/widgets.py b/gtweak/widgets.py
index 00acb0b..d732328 100644
--- a/gtweak/widgets.py
+++ b/gtweak/widgets.py
@@ -211,6 +211,22 @@ class _DependableMixin:
         sensitive = self._depends_how(settings,key_name)
         self.widget.set_sensitive(sensitive)
 
+class GSettingsCheckTweak(_GSettingsTweak, _DependableMixin):
+    def __init__(self, name, schema_name, key_name, **options):
+        _GSettingsTweak.__init__(self, schema_name, key_name, **options)
+
+        self.widget = Gtk.CheckButton.new_with_label(name)
+        self.settings.bind(
+                key_name,
+                self.widget,
+                "active", Gio.SettingsBindFlags.DEFAULT)
+        self.widget_for_size_group = None
+
+        self.add_dependency_on_tweak(
+                options.get("depends_on"),
+                options.get("depends_how")
+        )
+
 class GSettingsSwitchTweak(_GSettingsTweak, _DependableMixin):
     def __init__(self, name, schema_name, key_name, **options):
         _GSettingsTweak.__init__(self, schema_name, key_name, **options)