"margin" property gets lost
@federico
Submitted by Federico Mena Quintero Link to original bug (#789181)
Description
I had a Glade file where a widget had a "margin" property. When saving that file again, Glade removed that property but didn't substitute it for its expansion.
In gtkwidget.c, that property is implemented like this in gtk_widget_get_property():
case PROP_MARGIN:
g_object_freeze_notify (G_OBJECT (widget));
gtk_widget_set_margin_start (widget, g_value_get_int (value));
gtk_widget_set_margin_end (widget, g_value_get_int (value));
gtk_widget_set_margin_top (widget, g_value_get_int (value));
gtk_widget_set_margin_bottom (widget, g_value_get_int (value));
g_object_thaw_notify (G_OBJECT (widget));
break;
It would be good for Glade to either preserve "margin", or to expand it for the real properties which it represents.