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