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




2022 vala-language.org