mutable child1 :
        [
          `Paned of gui_paned
        | `Notebook of gui_notebook
        | `View of Ed_view.gui_view
        ] option = None