equal
deleted
inserted
replaced
24 import java.io.UnsupportedEncodingException; |
24 import java.io.UnsupportedEncodingException; |
25 import java.io.Writer; |
25 import java.io.Writer; |
26 import java.util.EnumSet; |
26 import java.util.EnumSet; |
27 |
27 |
28 /** |
28 /** |
|
29 * PrintWriter with convenience methods for printing color and formatted text. |
|
30 * |
|
31 * Uses ANSI Escape Sequences. |
|
32 * See: http://www.tldp.org/HOWTO/Bash-Prompt-HOWTO/x329.html |
29 * |
33 * |
30 * @author Ing. František Kučera (frantovo.cz) |
34 * @author Ing. František Kučera (frantovo.cz) |
31 */ |
35 */ |
32 public class ColorfulPrintWriter extends PrintWriter { |
36 public class ColorfulPrintWriter extends PrintWriter { |
33 |
37 |