GtkThread.main ();
(match !result with None -> raise MatitaTypes.Cancel | Some r -> r)
-type combo_status = Free of string | Locked of string
-
let ask_record_choice ~(gui:#gui) ?(title= "") ?(message = "")
~fields ~records ()
=
Array.iteri
(fun i f -> model#easy_append f i toggles.(i))
fields;
- let status = Array.map (fun s -> Free s) fields in
let record_no = ref None in
let return _ =
dialog#recordChoiceDialog#destroy ();