gtk:alignment-set-padding (alignment top bottom left right)

alignment -- a gtk:alignment widget
top -- an unsigned integer with the padding at the top of the child widget
bottom -- an unsigned integer with the padding at the bottom of the child widget
left -- an unsigned integer with the padding at the left of the child widget
right -- an unsigned integer with the padding at the right of the child widget

Sets the padding on the different sides of the widget. The padding adds blank space to the sides of the child widget. For instance, this can be used to indent the child widget towards the right by adding padding on the left. The gtk:alignment-set-padding function has been deprecated since version 3.14 and should not be used in newly written code. Use the gtk:widget alignment and margin properties.