let
extend (main_ui:main_window_extension_points) =
make_panel main_ui