let init_view topwin (v : Ed_view.gui_view) =
  v#set_on_focus_in (fun _ -> topwin#set_active_view (Some v))