Gets the value of the #GtkWidget:margin-right property.
Deprecated: Use gtk_widget_get_margin_end() instead.
Return: The right margin of @widget
3.0
See Implementation
Gets the value of the #GtkWidget:margin-right property.