From baf2bf939ffa6b9bbba8c3f3d59737096e723d8d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 2 Oct 2006 16:22:13 +0000
Subject: [PATCH] **** EXPERIMENTAL **** The GUI of Matita is now thread-based.
 In principle Ctr-C works unreliably. In practice it works reasonably well.

---
 matita/matitaGui.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 4f36938b5..af9984c1b 100644
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -422,10 +422,13 @@ class gui () =
         develList#buttonsHbox#misc#set_sensitive true;
         source_view#set_editable true
       in
-      let locker f = 
+      let locker f () =
+       let thread_main =
         fun () -> 
           lock_world ();
-          try f ();unlock_world () with exc -> unlock_world (); raise exc in
+          try f ();unlock_world () with exc -> unlock_world (); raise exc
+       in
+        ignore (Thread.create thread_main ()) in
       let keep_focus f =
         fun () ->
          try
-- 
2.39.2