method new_tab =
match self#get_active_view_container with
| None -> ()
| Some (`Window _) ->
(
match contents with
Some (`View v) ->
(
match v#dup (self :> Ed_view.topwin) with
None -> ()
| Some v ->
init_view (self :> Ed_view.topwin) v;
self#add_view v
)
| _ -> prerr_endline "Should not be here"
)
| Some (`Paned gp) ->
(
match active_view with
None -> ()
| Some v ->
match v#dup (self :> Ed_view.topwin) with
None -> ()
| Some v ->
init_view (self :> Ed_view.topwin) v;
gp#new_tab (`View v);
v#grab_focus;
)
| Some (`Notebook gn) ->
(
match active_view with
None -> ()
| Some v ->
match v#dup (self :> Ed_view.topwin) with
None -> ()
| Some v ->
init_view (self :> Ed_view.topwin) v;
gn#add_view v
)