From d9e0e9a87ff626ed1db47a36dbc282d6be22fd6c Mon Sep 17 00:00:00 2001 From: Vladimir Schneider Date: Wed, 21 Sep 2016 17:44:47 -0400 Subject: [PATCH] add copy/paste to include referenced reference links and footnotes --- .../main/java/com/vladsch/flexmark/ast/Node.java | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/flexmark-util/src/main/java/com/vladsch/flexmark/ast/Node.java b/flexmark-util/src/main/java/com/vladsch/flexmark/ast/Node.java index a3c257d61..636ec1d09 100644 --- a/flexmark-util/src/main/java/com/vladsch/flexmark/ast/Node.java +++ b/flexmark-util/src/main/java/com/vladsch/flexmark/ast/Node.java @@ -239,7 +239,7 @@ public String toString() { } public void getAstExtra(StringBuilder out) { - return; + } public void astExtraChars(StringBuilder out) { @@ -360,7 +360,7 @@ public static void segmentSpan(StringBuilder out, int startOffset, int endOffset } public static void segmentSpanChars(StringBuilder out, int startOffset, int endOffset, String name, String chars) { - segmentSpanChars(out,startOffset,endOffset, name, chars, "", ""); + segmentSpanChars(out, startOffset, endOffset, name, chars, "", ""); } public static void segmentSpanChars(StringBuilder out, int startOffset, int endOffset, String name, String chars1, String splice, String chars2) { @@ -404,7 +404,7 @@ private static void escapeJavaString(StringBuilder out, String chars) { break; default: if (c < ' ') { - out.append('%').append(String.format("%02x",(int)c)); + out.append('%').append(String.format("%02x", (int) c)); } else { out.append(c); } @@ -433,9 +433,12 @@ public static void delimitedSegmentSpan(StringBuilder out, BasedSequence opening } public static void delimitedSegmentSpanChars(StringBuilder out, BasedSequence openingSequence, BasedSequence sequence, BasedSequence closingSequence, String name) { - if (openingSequence.isNotNull()) segmentSpanChars(out, openingSequence.getStartOffset(), openingSequence.getEndOffset(), name + "Open", openingSequence.toString()); - if (sequence.isNotNull()) segmentSpanChars(out, sequence.getStartOffset(), sequence.getEndOffset(), name, sequence.toVisibleWhitespaceString()); - if (closingSequence.isNotNull()) segmentSpanChars(out, closingSequence.getStartOffset(), closingSequence.getEndOffset(), name + "Close", closingSequence.toString()); + if (openingSequence.isNotNull()) + segmentSpanChars(out, openingSequence.getStartOffset(), openingSequence.getEndOffset(), name + "Open", openingSequence.toString()); + if (sequence.isNotNull()) + segmentSpanChars(out, sequence.getStartOffset(), sequence.getEndOffset(), name, sequence.toVisibleWhitespaceString()); + if (closingSequence.isNotNull()) + segmentSpanChars(out, closingSequence.getStartOffset(), closingSequence.getEndOffset(), name + "Close", closingSequence.toString()); } public void takeChildren(Node node) {