sig val make_panel : Design.main_window_extension_points -> GObj.widget end