void set_padding(int xpad, int ypad);

Sets the horizontal and vertical padding for the widget. The values given will be the padding in pixels surrounding the widget. The values should be integers greater than or equal to 0. Values less than 0 will be automatically changed to 0. If the value is not an integer it will automatically be rounded down to the nearest integer.

See also: get_padding()