let gui (main_ui:Design.main_window_extension_points) = 
  main_ui#register_panel make_panel