common: Use margin-start/end instead of margin-left/right

https://bugzilla.gnome.org/show_bug.cgi?id=712661
This commit is contained in:
Yosef Or Boczko 2013-11-19 22:29:53 +02:00
parent 80aaf11b1a
commit bd1422980b
2 changed files with 6 additions and 6 deletions

View file

@ -58,8 +58,8 @@ padded_label_new (char *text, gboolean narrow)
gtk_widget_set_halign (widget, GTK_ALIGN_CENTER);
gtk_widget_set_margin_top (widget, 10);
gtk_widget_set_margin_bottom (widget, 10);
gtk_widget_set_margin_left (widget, narrow ? 10 : 80);
gtk_widget_set_margin_right (widget, narrow ? 10 : 80);
gtk_widget_set_margin_start (widget, narrow ? 10 : 80);
gtk_widget_set_margin_end (widget, narrow ? 10 : 80);
gtk_box_pack_start (GTK_BOX (widget), gtk_label_new (text), FALSE, FALSE, 0);
return widget;