enable blue and green ansi colors

darcs-hash:20070420032310-5007d-a3f1d3c288f240ae6f39ae74044438f252d7bd54.gz

diff --git a/src/edu/berkeley/sbp/util/ANSI.java b/src/edu/berkeley/sbp/util/ANSI.java
index 87336d6..a932112 100644 (file)
--- a/src/edu/berkeley/sbp/util/ANSI.java
+++ b/src/edu/berkeley/sbp/util/ANSI.java
@@ -6,9 +6,9 @@ public class ANSI {
         !"true".equals(System.getProperty("sbp.color", "true"));
     public static String black(Object o) { if (disable) return o+""; return o+""; }
     public static String red(Object o) { if (disable) return o+""; return "\033[31m"+o+"\033[0m"; }
         !"true".equals(System.getProperty("sbp.color", "true"));
     public static String black(Object o) { if (disable) return o+""; return o+""; }
     public static String red(Object o) { if (disable) return o+""; return "\033[31m"+o+"\033[0m"; }

-    public static String green(Object o) { if (disable) return o+""; return o+""; }
+    public static String green(Object o) { if (disable) return o+""; return "\033[32m"+o+"\033[0m"; }

     public static String yellow(Object o) { if (disable) return o+""; return "\033[33m"+o+"\033[0m"; }
     public static String yellow(Object o) { if (disable) return o+""; return "\033[33m"+o+"\033[0m"; }

-    public static String blue(Object o) { if (disable) return o+""; return o+""; }
+    public static String blue(Object o) { if (disable) return o+""; return "\033[34m"+o+"\033[0m"; }

     public static String purple(Object o) { if (disable) return o+""; return "\033[35m"+o+"\033[0m"; }
     public static String cyan(Object o) { if (disable) return o+""; return "\033[36m"+o+"\033[0m"; }
     public static String invert(Object o) { if (disable) return o+""; return "\033[7m"+o+"\033[0m"; }
     public static String purple(Object o) { if (disable) return o+""; return "\033[35m"+o+"\033[0m"; }
     public static String cyan(Object o) { if (disable) return o+""; return "\033[36m"+o+"\033[0m"; }
     public static String invert(Object o) { if (disable) return o+""; return "\033[7m"+o+"\033[0m"; }