let main main_ui =
  begin
    main_ui#register_source_highlighter wp_highlight ;
    main_ui#register_source_selector wp_select ;
    main_ui#register_panel wp_panel ;
  end