Misc.setPadding

void setPadding(int xpad, int ypad)

Sets the amount of space to add around the widget.

Parameters

xpadthe amount of space to add on the left and right of the widget, in pixels.
ypadthe amount of space to add on the top and bottom of the widget, in pixels.

Deprecated

Use #GtkWidget alignment and margin properties.