void gtk::paint_extension( 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 );