From: adam <adam@megacz.com>
Date: Sat, 17 Feb 2007 19:39:23 +0000 (-0500)
Subject: better display of tab characters
X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=0f9676168fa7384f8cf66ed02c1c8caa22381206

better display of tab characters

darcs-hash:20070217193923-5007d-b4381ab3ca46b8ae62317eb5ce1df6883e91930b.gz
---

diff --git a/src/edu/berkeley/sbp/util/StringUtil.java b/src/edu/berkeley/sbp/util/StringUtil.java
index 71f4bc0..d3efb24 100644
--- a/src/edu/berkeley/sbp/util/StringUtil.java
+++ b/src/edu/berkeley/sbp/util/StringUtil.java
@@ -27,6 +27,7 @@ public class StringUtil {
                 case '\'': sb.append("\\\'");  break;
                 case '\n':  sb.append("\\n");  break;
                 case '\r':  sb.append("\\r");  break;
+                case '\t':  sb.append("\\t");  break;
                 default: sb.append(c); break;
             }
         }
@@ -42,6 +43,7 @@ public class StringUtil {
                 switch(c) {
                     case 'r': c = '\r'; break;
                     case 'n': c = '\n'; break;
+                    case 't': c = '\t'; break;
                     default: break;
                 }
             }
@@ -55,7 +57,7 @@ public class StringUtil {
                 case '}':  sb.append("\\}");  break;
                 case ':':  sb.append("\\:");  break;
     */
-    public static String escapify(String s) { return escapify(s, "\\\n\r"); }
+    public static String escapify(String s) { return escapify(s, "\\\n\r\t"); }
     public static String escapify(String s, String illegal) {
         if (s==null) return null;
         StringBuffer sb = new StringBuffer();
@@ -65,6 +67,7 @@ public class StringUtil {
                 switch(c) {
                     case '\n':  sb.append("\\n"); continue;
                     case '\r':  sb.append("\\r"); continue;
+                    case '\t':  sb.append("\\t"); continue;
                     default:    sb.append('\\');  break;
                 }
             else if (c < 32 || c >= 127) {