GtkMisc::set_padding

void set_padding(int xpad, int ypad);

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