void paint_arrow(GdkWindow window, state_type, shadow_type, GdkRectangle area, GtkWidget widget, detail, arrow_type, fill, x, y, width, height);