set_margin_bottom

Description:

public void set_margin_bottom (int margin)

Sets the bottom margin of this.

Parameters:

this

a `GtkWidget`
margin

the bottom margin