[gnome-builder] GbEditorTweakWidget: various ui tweaks

[Christian Hergert <chergert src gnome org>]

commit e370ec38aaf0fba62db9b9c4529dd04849218de9
Author: Christian Hergert <christian hergert me>
Date:   Wed Dec 17 06:05:17 2014 -0800

    GbEditorTweakWidget: various ui tweaks

 src/resources/ui/gb-editor-tweak-widget.ui |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/src/resources/ui/gb-editor-tweak-widget.ui b/src/resources/ui/gb-editor-tweak-widget.ui
index 98b4966..b2ad296 100644
--- a/src/resources/ui/gb-editor-tweak-widget.ui
+++ b/src/resources/ui/gb-editor-tweak-widget.ui
@@ -79,6 +79,7 @@
               <object class="GtkLabel">
                 <property name="visible">true</property>
                 <property name="margin_top">6</property>
+                <property name="margin_bottom">6</property>
                 <property name="label" translatable="yes">Spacing</property>
                 <style>
                   <class name="dim-label"/>
@@ -114,7 +115,9 @@
             <child>
               <object class="GtkLabel">
                 <property name="visible">true</property>
-                <property name="label" translatable="yes">Tab width</property>
+                <property name="label" translatable="yes">Indentation size</property>
+                <property name="margin_bottom">6</property>
+                <property name="margin_top">6</property>
                 <style>
                   <class name="dim-label"/>
                 </style>