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
This commit is contained in:
Bastien Nocera 2014-02-05 10:34:44 +01:00
parent 49597950f8
commit 4439453b75

View File

@ -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"),