method insert text = view#buffer#insert text; Cam_misc.treat_gtk_events(); (* needed to that the scroll_to_iter works *) ignore(view#scroll_to_iter (view#buffer#get_iter `END))