From 2c1a2d07ab57e257ac84e3ab2c6706b47f52c68d Mon Sep 17 00:00:00 2001
From: notin
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)

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')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 1fb1a61165..2d8291c146 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