set_margin_end

Description:

public void set_margin_end (int margin)

Sets the end margin of this.

Parameters:

this	a `GtkWidget`
margin	the end margin