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