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