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