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.name new_project));
  main_ui#rehighlight ()