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)
+ (match !result with None -> raise MatitaTypes.Cancel | Some r -> r)
type combo_status = Free of string | Locked of string