method split_active_view (orientation : Gtk.Tags.orientation) =
match self#get_active_view_container with
None
| Some (`Window _) ->
begin
match contents with
Some (`View v1) ->
(
match v1#dup (self :> Ed_view.topwin) with
None -> ()
| Some v2 ->
let gp = new gui_paned (self :> Ed_view.topwin) orientation () in
self#set_contents (Some (`Paned gp));
init_view (self :> Ed_view.topwin) v2;
gp#set_children_views v1 v2;
v2#grab_focus;
)
| _ -> ()
end
| Some (`Paned gp) -> gp#split_active_view orientation
| Some (`Notebook gn) -> gn#split_active_view orientation