aded confirmation dialog for baseuri redefinement

[helm.git] / helm / matita / matita.ml

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 93441ed83fc5627e64927a7d33e7c26a54b34905..3eb0fc6a15f985c897e07144b0949c41688805d7 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -87,6 +87,10 @@ let script =
         () ~id:"boh?" uris
       with MatitaTypes.Cancel -> [])
     ~set_star:gui#setStar
+    ~ask_confirmation:
+      (fun ~title ~message -> 
+          MatitaGtkMisc.ask_confirmation ~title ~message 
+          ~parent:gui#main#toplevel ())
     ()
 
   (* math viewers *)