void gtk::paint_box_gap( GtkStyle style , GdkWindow window , GtkStateType state_type , GtkShadowType shadow_type , GdkRectangle area, GtkWidget widget , string detail, int x, int y, int width, int height, GtkPositionType gap_side , int gap_x, int gap_width);