let rebuild_model ((_, (model, _column)) as combo_box_text) =
model#clear ();
GEdit.text_combo_add combo_box_text none_text;
List.iter
(fun p -> GEdit.text_combo_add combo_box_text (!Db.Slicing.Project.get_name p))
(List.rev (!Db.Slicing.Project.get_all()))