mutable on_destroy = (fun (c : [ `Paned of gui_paned | `Notebook of gui_notebook | `View of Ed_view.gui_view ] option) -> ())