let main main_ui = main_ui#register_source_selector security_selector; main_ui#register_source_highlighter security_highlighter