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;
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