Change tabbing for everything....
[IRC.git] / Robust / src / Lex / Token.java
index ec3a578dc604debdf71cacfbf15f380bd02e2d68..8cfb5c5923556e177d46dfb521de444f2e4a7b6c 100644 (file)
@@ -8,8 +8,11 @@ abstract class Token extends InputElement {
     for (int i=0; i<s.length(); i++)
       switch(s.charAt(i)) {
       case '\t': sb.append("\\t"); break;
+
       case '\f': sb.append("\\f"); break;
+
       case '\n': sb.append("\\n"); break;
+
       default:
        if ((int)s.charAt(i)<32)
          sb.append("\\"+Integer.toOctalString((int)s.charAt(i)));