GtkStyle::paint_extension

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

See also: draw_extension