42 	private static final String HEADER_TYPE_PREFIX = " (";

    42 	private static final String HEADER_TYPE_PREFIX = " (";

    43 	private static final String HEADER_TYPE_SUFFIX = ")";

    43 	private static final String HEADER_TYPE_SUFFIX = ")";

    44 	public static final String PROPERTY_ASCII = "ascii";

    44 	public static final String PROPERTY_ASCII = "ascii";

    45 	public static final String PROPERTY_COLORFUL = "color";

    45 	public static final String PROPERTY_COLORFUL = "color";

    46 	public static final String PROPERTY_TRIM = "trim";

    46 	public static final String PROPERTY_TRIM = "trim";

    48 	protected ColorfulPrintWriter out;

    49 	protected ColorfulPrintWriter out;

    49 	private boolean firstResult = true;

    50 	private boolean firstResult = true;

    50 	private int[] columnWidth;

    51 	private int[] columnWidth;

    51 	/**

    52 	/**

    52 	 * use ASCII borders instead of unicode ones

    53 	 * use ASCII borders instead of unicode ones

   282 					out.print(TerminalColor.Red, "↲");

   283 					out.print(TerminalColor.Red, "↲");

   283 					break;

   284 					break;

   284 				case "\t":

   285 				case "\t":

   285 					out.print(TerminalColor.Red, "↹");

   286 					out.print(TerminalColor.Red, "↹");

   286 					break;

   287 					break;

   287 				default:

   291 				default:

   288 					throw new IllegalStateException("Unexpected whitespace token: „" + m.group() + "“");

   292 					throw new IllegalStateException("Unexpected whitespace token: „" + m.group() + "“");

   289 			}

   293 			}

   290 

   294 

   291 			start = m.end();

   295 			start = m.end();