The amount of space to add on the left and right of the widget, in pixels.
Use gtk_widget_set_margin_start and gtk_widget_set_margin_end instead
gtk_widget_set_margin_start
gtk_widget_set_margin_end