Pike v8.0 release 1738

Method GTK2.Style()->paint_box_gap()


Method paint_box_gap

GTK2.Style paint_box_gap(GTK2.Widget window, int state, int shadow, GTK2.GdkRectangle rect, GTK2.Widget widget, string detail, int x, int y, int width, int height, int gap_side, int gap_x, int gap_width)

Description

Draws a box in window using the given style and state and shadow type, leaving a gap in one side.