let gui_set_project (main_ui:Design.main_window_extension_points) proj_opt =
gui_apply_action main_ui !Db.Slicing.Project.set_project proj_opt
~info:(fun () ->
Extlib.may_map ~dft:"Clear slicing highlighting"
(fun project -> ("Highlighting for " ^ (!Db.Slicing.Project.get_name project)))
proj_opt) ;
main_ui#rehighlight ()