set_margin_start


Description:

public void set_margin_start (int margin)

Sets the start margin of this.

Parameters:

this

a `GtkWidget`

margin

the start margin