[gnome-tweak-tool] widgets: Add top margin for internal "Title" headers

[Jeremy Bicha <jbicha src gnome org>]

commit a1f48bed3187c6c5947e9f80d4189d38bb108d6d
Author: Jeremy Bicha <jbicha ubuntu com>
Date:   Sun Jun 11 17:32:26 2017 -0400

    widgets: Add top margin for internal "Title" headers

 gtweak/tweaks/tweak_group_desktop.py  |    2 +-
 gtweak/tweaks/tweak_group_keymouse.py |    2 +-
 gtweak/widgets.py                     |    2 ++
 3 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/gtweak/tweaks/tweak_group_desktop.py b/gtweak/tweaks/tweak_group_desktop.py
index b134222..8b2284c 100644
--- a/gtweak/tweaks/tweak_group_desktop.py
+++ b/gtweak/tweaks/tweak_group_desktop.py
@@ -21,7 +21,7 @@ dicons = GSettingsSwitchTweak(_("Show Icons"),"org.gnome.desktop.background","sh
 
 TWEAK_GROUPS = [
     ListBoxTweakGroup(_("Desktop"),
-        Title(_("Icons on Desktop"), "", uid="title-theme"),
+        Title(_("Icons on Desktop"), "", uid="title-theme", top=True),
         dicons,
         GSettingsSwitchTweak(_("Home"),"org.gnome.nautilus.desktop", "home-icon-visible", depends_on=dicons, 
schema_filename="org.gnome.nautilus.gschema.xml"),
         GSettingsSwitchTweak(_("Network Servers"),"org.gnome.nautilus.desktop", "network-icon-visible", 
depends_on=dicons, schema_filename="org.gnome.nautilus.gschema.xml"),
diff --git a/gtweak/tweaks/tweak_group_keymouse.py b/gtweak/tweaks/tweak_group_keymouse.py
index 4a996f3..fbc9fe3 100644
--- a/gtweak/tweaks/tweak_group_keymouse.py
+++ b/gtweak/tweaks/tweak_group_keymouse.py
@@ -260,7 +260,7 @@ class AdditionalLayoutButton(Gtk.Box, Tweak):
 
 TWEAK_GROUPS = [
     ListBoxTweakGroup(_("Keyboard & Mouse"),
-        Title(_("Keyboard"), ""),
+        Title(_("Keyboard"), "", top=True),
         GSettingsSwitchTweak(_("Show Extended Input Sources"),
                               "org.gnome.desktop.input-sources",
                               "show-all-sources",
diff --git a/gtweak/widgets.py b/gtweak/widgets.py
index dcb98cb..aa3f24f 100644
--- a/gtweak/widgets.py
+++ b/gtweak/widgets.py
@@ -546,6 +546,8 @@ class Title(Gtk.Box, Tweak):
         widget = Gtk.Label()
         widget.set_markup("<b>"+GLib.markup_escape_text(name)+"</b>")
         widget.props.xalign = 0.0
+        if not options.get("top"):
+            widget.set_margin_top(10)
         self.add(widget)
 
 class GSettingsSwitchTweakValue(Gtk.Box, _GSettingsTweak):