1.1 --- a/isac-java/src/java/isac/gui/mawen/syntax/isabelle/symbol.scala	Thu Sep 13 11:14:30 2018 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/isabelle/symbol.scala	Wed Nov 28 08:59:29 2018 +0100
     1.3 @@ -57,7 +57,10 @@
     1.4  
     1.5    def ascii(c: Char): Symbol =
     1.6    {
     1.7 -    if (c > 127) error("Non-ASCII character: " + XLibrary.quote(c.toString))
     1.8 +    if (c > 127) {
     1.9 +      Console.printf("Non-ASCII character: " + XLibrary.quote(c.toString));
    1.10 +      "Non-ASCII character: " + XLibrary.quote(c.toString)
    1.11 +    }
    1.12      else char_symbols(c.toInt)
    1.13    }
    1.14