void paint_layout(GdkWindow window, state_type, use_text, GdkRectangle area, GtkWidget widget, detail, x, y, PangoLayout layout);