X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.ml;h=b294af25d45a5ed7c46a1e0dd991a317c39c82c8;hb=881672563cb65777d23c9dbe2c24de5214c82eb3;hp=d8de328ef17d5dad8ea13e94ec6aa2349075c21c;hpb=286fabbf6e0f1ccc44f05414c4eab5c742c2a126;p=helm.git

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index d8de328ef..b294af25d 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -461,6 +461,7 @@ class gui () =
         ~website:"http://matita.cs.unibo.it"
         ()
       in
+      ignore(about_dialog#event#connect#delete (fun _ -> true));
       ignore(about_dialog#connect#response (fun _ ->about_dialog#misc#hide ()));
       connect_menu_item main#contentsMenuItem (fun () ->
         if 0 = Sys.command "which gnome-help" then