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