GtkStyle::draw_box

void draw_box(GdkWindow window, state_type, shadow_type, x, y, width, height);

See also: paint_box()