let main main_ui =
  main_ui#register_source_selector selector ;
  main_ui#register_panel wp_panel