From 8e6b8c82ea3b7b4afe9ad770f34c98359f71fb9a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 2 May 2006 10:13:37 +0000
Subject: Affichage des warning gtk comme warning coq

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

(limited to 'ide')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index a90f473c1c..cc9268b91f 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -3358,7 +3358,10 @@ let start () =
   ignore (
     Glib.Message.set_log_handler ~domain:"Gtk" ~levels:[`ERROR;`FLAG_FATAL;
 							`WARNING;`CRITICAL]
-	    (fun ~level msg -> failwith ("Coqide internal error: " ^ msg)));
+	    (fun ~level msg -> 
+              if level land Glib.Message.log_level `WARNING <> 0
+              then Pp.warning msg
+              else failwith ("Coqide internal error: " ^ msg)));
   Command_windows.main ();
   Blaster_window.main 9;
   main files;
-- 
cgit v1.2.3