[dconf-editor] Better looking ActionBar.

[Arnaud Bonatti <arnaudb src gnome org>]

commit 7518558c1bbc807aa897960bba2f2a179efed3cf
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Wed May 18 14:12:01 2016 +0200

    Better looking ActionBar.

 editor/dconf-editor.ui |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/editor/dconf-editor.ui b/editor/dconf-editor.ui
index 028f43b..21334d1 100644
--- a/editor/dconf-editor.ui
+++ b/editor/dconf-editor.ui
@@ -230,6 +230,8 @@
                 <child>
                   <object class="GtkLabel" id="revealer_label">
                     <property name="visible">True</property>
+                    <property name="margin-left">6</property><!-- GtkActionBar creates a GtkBox which 
"spacing" property is not editable -->
+                    <property name="margin-right">6</property>
                   </object>
                 </child>
                 <child>