From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 29 Jun 2005 09:01:30 +0000 (+0000)
Subject: the error_report window is now properly closed
X-Git-Tag: INDEXING_NO_PROOFS~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ea737dcc8aa007d39ee1c80bb0a96cb364cc3e22;p=helm.git

the error_report window is now properly closed
---

diff --git a/helm/matita/matitaGtkMisc.ml b/helm/matita/matitaGtkMisc.ml
index b53bbd209..4af50ee12 100644
--- a/helm/matita/matitaGtkMisc.ml
+++ b/helm/matita/matitaGtkMisc.ml
@@ -186,7 +186,8 @@ let popup_message
     ~callback:(fun a ->  GMain.Main.quit ();callback a));
   ignore(m#connect#close 
     ~callback:(fun _ -> GMain.Main.quit ();raise PopupClosed));
-  GtkThread.main ()
+  GtkThread.main ();
+  m#destroy () 
 
 
 let ask_confirmation ~title ~message ?parent () =
@@ -206,12 +207,14 @@ let report_error ~title ~message ?parent () =
   let rc = ref false in
   let callback _ = () in
   let buttons = GWindow.Buttons.ok in
-  try 
+(  try 
     popup_message ~title ~message ~message_type:`ERROR ~callback ~buttons 
     ?parent ()
   with
   | PopupClosed -> ()
-  
+);prerr_endline "AAAAAAA" 
+
+
 let ask_text ~(gui:#gui) ?(title = "") ?(msg = "") ?(multiline = false) () =
   let dialog = gui#newEmptyDialog () in
   dialog#emptyDialog#set_title title;