Sets the right margin of @widget. See the #GtkWidget:margin-right property.
the right margin
Deprecated: Use gtk_widget_set_margin_end() instead.
3.0
See Implementation
Sets the right margin of @widget. See the #GtkWidget:margin-right property.