external move_child : 
    [>`textview] obj -> [>`widget] obj -> int -> int -> unit =
           "ml_gtk_text_view_move_child"