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