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);