diff --git a/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java b/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java index b7ec3f9d075..ad138be8cab 100644 --- a/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java +++ b/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java @@ -101,13 +101,14 @@ public final class Logger { encoded=true; } else if (c>=' ' && c<'\u007f') { buf.append(c); + } else if (c <= '\u00ff') { + buf.append('\\'); buf.append('x'); + buf.append(Integer.toHexString(c)); + encoded=true; } else { buf.append('\\'); buf.append('u'); if (c<='\u0fff') { buf.append('0'); - if (c<='\u00ff') { - buf.append('0'); - } } buf.append(Integer.toHexString(c)); encoded=true;