let main (main_ui:Design.main_window_extension_points) =
main_ui#register_source_selector slicing_selector;
main_ui#register_source_highlighter slicing_highlighter;
main_ui#register_panel slicing_panel;
file_tree_decorate main_ui#file_tree