* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception PopupClosed
open Printf
-open MatitaTypes
-
let wrap_callback f = f
let connect_button (button: #GButton.button) callback =
connect_button dialog#emptyDialogCancelButton (fun _ ->return None);
dialog#emptyDialog#show ();
GtkThread.main ();
- (match !result with None -> raise Cancel | Some r -> r)
-
-type combo_status = Free of string | Locked of string
+ (match !result with None -> raise MatitaTypes.Cancel | Some r -> r)
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 ();