From 2c1a2d07ab57e257ac84e3ab2c6706b47f52c68d Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 9 Jun 2006 09:29:03 +0000
Subject: Ajout d'une option -with-geoproof à la configuration et à l'exécution
 pour inhiber la gestion de Geoproof sous Coqide (qui peut poser des problèmes
 avec GTK < 2.6.0)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8932 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coqide.ml')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 1fb1a6116..2d8291c14 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3366,7 +3366,7 @@ let start () =
     Command_windows.main ();
     Blaster_window.main 9;
     main files;
-    ignore (Thread.create check_for_geoproof_input ()); 
+    if !Coq_config.with_geoproof then ignore (Thread.create check_for_geoproof_input ()); 
     while true do 
       try 
 	GtkThread.main ()	
-- 
cgit v1.2.3