GtkStyle::paint_box_gap

void paint_box_gap(GdkWindow window, state_type, shadow_type, GdkRectangle area, GtkWidget widget, detail, x, y, width, height, gap_side, gap_x, gap_width);

See also: draw_box_gap