diff options
| author | Sébastien Wilmet <swilmet@gnome.org> | 2014-07-03 14:08:14 +0200 |
|---|---|---|
| committer | Sébastien Wilmet <swilmet@gnome.org> | 2014-07-03 14:50:22 +0200 |
| commit | 03b4c82f77bc8fd6fee6062fc13093d3eb7e8cd5 (patch) | |
| tree | 9976e7e593ab7c84cce9de9c54e008a762f62826 /gtk/gtkwidget.c | |
| parent | 196b9f8eea3f61be7635866b9d44118c5e30349f (diff) | |
| download | gtk+-03b4c82f77bc8fd6fee6062fc13093d3eb7e8cd5.tar.gz | |
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
Diffstat (limited to 'gtk/gtkwidget.c')
| -rw-r--r-- | gtk/gtkwidget.c | 6 |
1 files 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 |