src/Pure/Tools/check_sources.scala

         {
           Output.warning("Suspicious Unicode character " + quote(Word.codepoint(c)) +
             Position.here(line_pos(i)))
         }
       }
-      catch { case ERROR(msg) => Output.error_message(msg + Position.here(line_pos(i))) }
+      catch { case ERROR(msg) => Output.warning(msg + Position.here(line_pos(i))) }
 
       if (line.contains('\t'))
         Output.warning("TAB character" + Position.here(line_pos(i)))
     }
 
     if (content.contains('\r'))
       Output.warning("CR character" + Position.here(file_pos))
+
+    if (Word.bidi_detect(content))
+      Output.warning("Bidirectional Unicode text " + Position.here(file_pos))
   }
 
   def check_hg(root: Path)
   {
     Output.writeln("Checking " + root + " ...")