Alignment.setPadding
void setPadding(uint paddingTop, uint paddingBottom, uint paddingLeft, uint paddingRight)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.
Parameters
paddingTop | the padding at the top of the widget |
paddingBottom | the padding at the bottom of the widget |
paddingLeft | the padding at the left of the widget |
paddingRight | the padding at the right of the widget. |
Deprecated
Use #GtkWidget alignment and margin properties