void gtk::paint_string( GtkStyle style , GdkWindow window , GtkStateType state_type , GdkRectangle area, GtkWidget widget , string detail, int x, int y, string string);