external scroll_to_mark : [>`textview] obj -> text_mark -> float -> bool -> float -> float -> unit = 
            "ml_gtk_text_view_scroll_to_mark_bc" "ml_gtk_text_view_scroll_to_mark"