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.
the padding at the top of the widget
the padding at the bottom of the widget
the padding at the left of the widget
the padding at the right of the widget.
Deprecated: Use #GtkWidget alignment and margin properties
2.4
See Implementation
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.