void paint_hline(GdkWindow window, state_type, GdkRectangle area, GtkWidget widget, detail, x1, x2, y);