Closed

Description
+++ RBlock.java 2017-12-19 07:16:50.885482620 +0100
@@ -1809,10 +1809,10 @@
}
public static void dumpRndTree(final String indentStr, final boolean isLast, final Renderable r, final boolean condense) {
- final String nextIndentStr = indentStr + ((r instanceof RBlockViewport) ? " " : (isLast ? " " : "│ "));
- final String selfIndentStr = (isLast ? "└ " : "├ ");
+ final String nextIndentStr = indentStr + ((r instanceof RBlockViewport) ? " " : (isLast ? " " : "\u2502 "));
+ final String selfIndentStr = (isLast ? "\u2514 " : "\u251C ");
if (isSimpleLine(r)) {
- System.out.println(indentStr + selfIndentStr + "─────");
+ System.out.println(indentStr + selfIndentStr + "\u2500\u2500\u2500\u2500\u2500");
} else {
if (r instanceof RBlockViewport) {
// System.out.println(indentStr + "^RBV");
Metadata
Metadata
Assignees
Labels
No labels