void paint_resize_grip(GdkWindow window, state_type, GdkRectangle area, GtkWidget widget, detail, edge, x, y, width, height);