Gets the value of the #GtkWidget:margin-end property.
Return: The end margin of @widget
3.12
See Implementation
Gets the value of the #GtkWidget:margin-end property.
Return: The end margin of @widget