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