Documentation

Widget.getMarginRight

gtk widget Widget

Gets the value of the #GtkWidget:margin-right property.

More...
class Widget
int
getMarginRight
()

Return Value

Type: int

The right margin of widget

Detailed Description

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

gtk widget Widget constructorsfunctionspropertiesstatic functions
Page generated by adrdox