Alignment.setPadding

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.

More...
class Alignment
void
setPadding

Parameters

paddingTop uint

the padding at the top of the widget

paddingBottom uint

the padding at the bottom of the widget

paddingLeft uint

the padding at the left of the widget

paddingRight uint

the padding at the right of the widget.

Detailed Description

Deprecated: Use #GtkWidget alignment and margin properties

Meta