mutable tabs :
        (GMisc.label *
           [
             `Paned of gui_paned
           | `Notebook of gui_notebook
           | `View of Ed_view.gui_view
           ]
        ) list = []