The padding to insert at the right of the widget.
Use gtk_widget_set_margin_end instead
gtk_widget_set_margin_end