From 03b4c82f77bc8fd6fee6062fc13093d3eb7e8cd5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Wilmet?= Date: Thu, 3 Jul 2014 14:08:14 +0200 Subject: [PATCH] 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 file changed, 4 insertions(+), 2 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index 3567b6be53..9bd89aa5bb 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