[gtk+] widget: Fix margin-start and margin-end properties

[Bastien Nocera <hadess src gnome org>]

commit 4439453b75d84909b88fa48f7f046b4d929c9cdf
Author: Bastien Nocera <hadess hadess net>
Date:   Wed Feb 5 10:34:44 2014 +0100

    widget: Fix margin-start and margin-end properties
    
    The margin-start and margin-end properties were incorrectly
    defined, so margins weren't respected for RTL languages.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=723627

 gtk/gtkwidget.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index d9fd947..f1776fb 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1434,7 +1434,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * Since: 3.12
    */
   g_object_class_install_property (gobject_class,
-                                   PROP_MARGIN_LEFT,
+                                   PROP_MARGIN_START,
                                    g_param_spec_int ("margin-start",
                                                      P_("Margin on Start"),
                                                      P_("Pixels of extra space on the start"),
@@ -1455,7 +1455,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS
    * Since: 3.12
    */
   g_object_class_install_property (gobject_class,
-                                   PROP_MARGIN_RIGHT,
+                                   PROP_MARGIN_END,
                                    g_param_spec_int ("margin-end",
                                                      P_("Margin on End"),
                                                      P_("Pixels of extra space on the end"),