let extend (main_ui:main_window_extension_points) =
  make_panel main_ui