From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 21 Dec 2018 20:47:51 +0000 (+0100)
Subject: Fix dialog win
X-Git-Tag: make_still_working~229^2~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=1eb848417fefd0ef7436d4a89e59535baf9632c7

Fix dialog win

It used to be destroyed when closed the first time
---

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