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