set_margin_top

Description:

public void set_margin_top (int margin)

Sets the top margin of this.

Parameters:

this	a `GtkWidget`
margin	the top margin