let gui_mk_slice (main_ui:Design.main_window_extension_points) selection ~info =
gui_annot_action main_ui info;
let new_project = mk_slice selection in (* ... slicing computation *)
gui_annot_action main_ui
(fun () -> "Slice exported to project: " ^ (Project.get_name new_project));
main_ui#rehighlight ()