Widget.getMarginBottom

int getMarginBottom()

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

Returns

The bottom margin of widget