[gtk+] docs: make GtkWidget:margin-start and margin-end clearer

[Sébastien Wilmet <swilmet src gnome org>]

commit 03b4c82f77bc8fd6fee6062fc13093d3eb7e8cd5
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Thu Jul 3 14:08:14 2014 +0200

    docs: make GtkWidget:margin-start and margin-end clearer
    
    margin-start and margin-end have been added for RTL support, see:
    https://bugzilla.gnome.org/show_bug.cgi?id=710238
    
    So those properties are used only for the horizontal direction: left or
    right, not top or bottom.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=732681

 gtk/gtkwidget.c |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 3567b6b..9bd89aa 100644
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -1541,7 +1541,8 @@ G_GNUC_END_IGNORE_DEPRECATIONS
   /**
    * GtkWidget:margin-start:
    *
-   * Margin on start of widget.
+   * Margin on start of widget, horizontally. This property supports
+   * left-to-right and right-to-left text directions.
    *
    * This property adds margin outside of the widget's normal size
    * request, the margin will be added in addition to the size from
@@ -1562,7 +1563,8 @@ G_GNUC_END_IGNORE_DEPRECATIONS
   /**
    * GtkWidget:margin-end:
    *
-   * Margin on end of widget.
+   * Margin on end of widget, horizontally. This property supports
+   * left-to-right and right-to-left text directions.
    *
    * This property adds margin outside of the widget's normal size
    * request, the margin will be added in addition to the size from