Désactivation affichage image coqide en attendant un barcelos

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10958 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

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\