set_padding() sets the padding around the calling widget to the given number of pixels, in both directions.
