method find_view_container :
Ed_view.gui_view -> [ `Notebook of gui_notebook
| `Paned of gui_paned
| `Window of gui_window ] option =
fun gv ->
let find_in_child = function
| `Notebook gn ->
gn#find_view_container gv
| `Paned gp ->
gp#find_view_container gv
| `View v ->
if Oo.id v = Oo.id gv then
Some (`Notebook (self :> gui_notebook))
else
None
in
let rec iter = function
[] -> None
| (_,h) :: q ->
match find_in_child h with
None -> iter q
| Some x -> Some x
in
iter self#tabs