Widget.setMarginLeft

Sets the left margin of @widget. See the #GtkWidget:margin-left property.

More...
class Widget
void
setMarginLeft
(
int margin
)

Parameters

margin int

the left margin

Detailed Description

Deprecated: Use gtk_widget_set_margin_start() instead.

Meta