Widget.getMarginStart

int getMarginStart()

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

Returns

The start margin of widget