method contains_view (v : Ed_view.gui_view) = match contents with None -> false | Some (`View v2) -> Oo.id v = Oo.id v2 | Some c -> find_container (`View v) c <> None