GTK.ButtonBox set_child_ipadding(int child_number, int child_padding)
Set the padding for a specific child.