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 ()