X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaAutoGui.ml;h=9ba6dd89828052a7e084cc0a42e9ec3e54f3122c;hb=9ff984b29ac963eef2f79521ce9dd7cbb9ae2c59;hp=06b6b5f1e9e8696aaef3f78d976f7d1acf3ed8ca;hpb=ac2c05500dd7c9df5ddf43d809fdd56722beef00;p=helm.git

diff --git a/matita/matitaAutoGui.ml b/matita/matitaAutoGui.ml
index 06b6b5f1e..9ba6dd898 100644
--- a/matita/matitaAutoGui.ml
+++ b/matita/matitaAutoGui.ml
@@ -190,6 +190,12 @@ let auto_dialog elems =
       Auto.step ();
       win#toplevel#destroy ();
       GMain.Main.quit ()));
+  ignore(win#toplevel#event#connect#delete
+    (fun _ -> 
+      Auto.pause false;
+      Auto.step ();
+      win#toplevel#destroy ();
+      GMain.Main.quit ();true));
   let redraw_callback _ = fill_win win elems;true in
   let redraw = GMain.Timeout.add ~ms:400 ~callback:redraw_callback in
   ignore(win#buttonPAUSE#connect#clicked