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