gtk:box-child-padding (container child)

container -- a gtk:box container widget
child -- a gtk:widget child widget
padding -- an unsigned integer with extra space in pixels to put between childs

Accessor of the padding child property of the gtk:box class. Extra space to put between the child widget and its neighbors, in pixels. The CSS padding properties are the preferred way to add space among widgets, by setting the paddings corresponding to the orientation of the box.