external add_child_in_window : 
    [>`textview] obj -> [>`widget] obj -> text_window_type -> int -> int -> unit =
           "ml_gtk_text_view_add_child_in_window"