open MatitaTypes
let wrap_callback f = f
-(*
-let wrap_callback f () =
- try
- f ()
- with exn ->
- MatitaLog.error (sprintf "Uncaught exception: %s" (Printexc.to_string exn))
-*)
let connect_button (button: #GButton.button) callback =
ignore (button#connect#clicked (wrap_callback callback))