GtkStyle::paint_handle

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

See also: draw_handle