exception PopupClosed
open Printf
-open MatitaTypes
-
let wrap_callback f = f
let connect_button (button: #GButton.button) callback =
!rc
let report_error ~title ~message ?parent () =
- let rc = ref false in
let callback _ = () in
let buttons = GWindow.Buttons.ok in
try
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