Widget.setMarginRight

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

class Widget

void

setMarginRight

(

)

Parameters

margin int: the right margin

Detailed Description

Deprecated: Use gtk.widget.Widget.setMarginEnd instead.

gtk widget Widget constructors

this

functions

properties

static functions