equal
deleted
inserted
replaced
33 private static final String HEADER_TYPE_PREFIX = " ("; |
33 private static final String HEADER_TYPE_PREFIX = " ("; |
34 private static final String HEADER_TYPE_SUFFIX = ")"; |
34 private static final String HEADER_TYPE_SUFFIX = ")"; |
35 private ColorfulPrintWriter out; |
35 private ColorfulPrintWriter out; |
36 private boolean firstResult = true; |
36 private boolean firstResult = true; |
37 private int[] columnWidth; |
37 private int[] columnWidth; |
|
38 private final boolean asciiNostalgia = false; |
38 |
39 |
39 public TabularFormatter(FormatterContext formatterContext) { |
40 public TabularFormatter(FormatterContext formatterContext) { |
40 super(formatterContext); |
41 super(formatterContext); |
41 out = new ColorfulPrintWriter(formatterContext.getOutputStream()); |
42 out = new ColorfulPrintWriter(formatterContext.getOutputStream()); |
42 } |
43 } |
200 out.println(); |
201 out.println(); |
201 } |
202 } |
202 } |
203 } |
203 |
204 |
204 private void printTableBorder(String border) { |
205 private void printTableBorder(String border) { |
|
206 if (asciiNostalgia) { |
|
207 border = border.replaceAll("─", "-"); |
|
208 border = border.replaceAll("│", "|"); |
|
209 border = border.replaceAll("[╭┬╮├┼┤╰┴╯]", "+"); |
|
210 } |
|
211 |
205 out.print(TerminalColor.Green, border); |
212 out.print(TerminalColor.Green, border); |
206 } |
213 } |
207 |
214 |
208 private void printTableIndent() { |
215 private void printTableIndent() { |
209 out.print(" "); |
216 out.print(" "); |