let set_popdown_strings combo strings =
GtkList.Liste.clear_items (list combo) ~start:0 ~stop:(-1);
List.iter strings ~f:
begin fun s ->
let li = GtkList.ListItem.create_with_label s in
Widget.show li;
Container.add (list combo) li
end