gtk_widget_set_margin_end

alias gtk_widget_set_margin_end = c_gtk_widget_set_margin_end