[dconf-editor/gnome-3-22] Use margin-start/-end.

[Arnaud Bonatti <arnaudb src gnome org>]

commit a632be17880e1300f6d580a40d968293c4e8cfe7
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Tue Oct 18 22:43:47 2016 +0200

    Use margin-start/-end.

 editor/modifications-revealer.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/editor/modifications-revealer.ui b/editor/modifications-revealer.ui
index 291f5b1..7d50572 100644
--- a/editor/modifications-revealer.ui
+++ b/editor/modifications-revealer.ui
@@ -10,8 +10,8 @@
         <child>
           <object class="GtkLabel" id="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>
+            <property name="margin-start">6</property><!-- GtkActionBar creates a GtkBox which "spacing" 
property is not editable -->
+            <property name="margin-end">6</property>
           </object>
         </child>
         <child>