Widget.setMarginEnd

Sets the end margin of widget. See the #GtkWidget:margin-end property.

class Widget

void

setMarginEnd

(

)

Parameters

margin int: the end margin

gtk widget Widget constructors

this

functions

properties

static functions