Widget.getMarginBottom

int getMarginBottom() nothrow

Gets the value of the #GtkWidget:margin-bottom property.

Returns

The bottom margin of widget