gtk_widget_set_margin_right

alias gtk_widget_set_margin_right = c_gtk_widget_set_margin_right