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