external scroll_mark_onscreen : [>`textview] obj -> text_mark -> unit = 
           "ml_gtk_text_view_scroll_mark_onscreen"