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