gtkAlignmentSetPadding: gtkAlignmentSetPadding
Description
Sets the padding on the different sides of the widget.
The padding adds blank space to the sides of the widget. For instance,
this can be used to indent the child widget towards the right by adding
padding on the left.Usage
gtkAlignmentSetPadding(object, padding.top, padding.bottom, padding.left, padding.right)
Arguments
padding.top
the padding at the top of the widget
padding.bottom
the padding at the bottom of the widget
padding.left
the padding at the left of the widget
padding.right
the padding at the right of the widget.