let main main_ui = main_ui#register_source_selector impact_selector; main_ui#register_source_highlighter impact_highlighter; main_ui#register_panel impact_panel