let main main_ui = main_ui#register_source_selector selector; main_ui#register_source_highlighter highlighter; update_visibility := (filetree_decorate main_ui)