From 5f1b5ed6b647335e132bac0af86e95b751ead860 Mon Sep 17 00:00:00 2001
From: Pascale Noyret <pascale.noyret@edf.fr>
Date: Thu, 21 Dec 2006 13:50:55 +0000
Subject: [PATCH] *** empty log message ***

---
 Editeur/widgets.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Editeur/widgets.py b/Editeur/widgets.py
index ad8c3b66..3eeaccb9 100644
--- a/Editeur/widgets.py
+++ b/Editeur/widgets.py
@@ -173,7 +173,7 @@ class FenetreSurLigneWarning(Fenetre):
                 ligne=ligne+1
                 l=l+"\n"
                 self.zone_texte.insert(END,l)
-                if l.find("INFO") < 0 : 
+                if (l.find("WARNING") > -1) or (l.find("ERROR") > -1) : 
                    self.zone_texte.tag_add( "Rouge", str(ligne)+".0", "end-1c" )
                    self.zone_texte.tag_config("Rouge", foreground='red')
            try:
-- 
2.39.2