*** empty log message ***

diff --git a/Editeur/widgets.py b/Editeur/widgets.py
index ad8c3b66c0e22b76fc8b84b6d9eba9790e63b976..3eeaccb942af14eeab15ad8514625157659e0a50 100644 (file)
--- 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: