let choice_in_list f choices = let entries = List.map (fun (utf8, name) -> (`I (Cam_misc.escape_menu_label utf8, fun () -> f name))) choices in GToolbox.popup_menu ~button: 1 ~time: Int32.zero ~entries