let refresh_combo_box ((combo_box, (model, _column)) as combo_box_text) 
    slicing_project sensitive =
  let nb_combo_elts = model#iter_n_children None in
  let projects = List.rev (!Db.Slicing.Project.get_all()) in
  if nb_combo_elts<>(1+(List.length projects))
  then rebuild_model combo_box_text;
  (* Reset the active project as active in the combo box *)
  let nth_proj = ref 0 in
  let i = ref 1 in
  List.iter (fun proj ->
                 Extlib.may (fun slicing_proj ->
                               if proj == slicing_proj then nth_proj := !i)
                   slicing_project;
                 incr i)
      projects;
  combo_box#set_active !nth_proj;
  combo_box#misc#set_sensitive sensitive