method add_view_in_active_view_container v =
match self#get_active_view_container with
None -> self#add_view v
| Some (`Window _) -> self#add_view v
| Some (`Paned gp) -> gp#add_view v
| Some (`Notebook gn) -> gn#add_view v