diff options
| author | Bastien Nocera <hadess@hadess.net> | 2014-02-05 10:34:44 +0100 |
|---|---|---|
| committer | Bastien Nocera <hadess@hadess.net> | 2014-02-05 13:28:24 +0100 |
| commit | 4439453b75d84909b88fa48f7f046b4d929c9cdf (patch) | |
| tree | 63a342ca68ea737aadb863fb6089d9e1b0104a22 /gtk/gtkwidget.c | |
| parent | 49597950f83e36ea2a47aa84b672ebfb69c2a2d0 (diff) | |
| download | gtk+-4439453b75d84909b88fa48f7f046b4d929c9cdf.tar.gz | |
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
Diffstat (limited to 'gtk/gtkwidget.c')
| -rw-r--r-- | gtk/gtkwidget.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index d9fd94769e..f1776fb6e9 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"), |