From d01f496105de698a3ec98657e4529501c654aaeb Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 21 May 2008 19:35:36 +0000
Subject: Désactivation affichage image coqide en attendant un barcelos
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@10958 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ide/coqide.ml')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index cd2e0358f..7cfeb694d 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3337,6 +3337,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 								   input_views;
 							      );
 							    let about (b:GText.buffer) =
+(*
 							      (try 
 								   let image = lib_ide_file "coq.png" in
 								   let startup_image = GdkPixbuf.from_file image in
@@ -3344,6 +3345,7 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S);
 								       ~pixbuf:startup_image;
 								     b#insert ~iter:b#start_iter "\t\t";
 							       with _ -> ());
+*)
 							      let about_string =
 								"\nCoqIDE: an Integrated Development Environment for Coq\n\
        \nMain author  : Benjamin Monate\
-- 
cgit v1.2.3