external create_with_buffer : text_buffer -> text_view obj = "ml_gtk_text_view_new_with_buffer"