method add_view v =
      self#add_tab None (`View v);
      v#grab_focus