Skip to content

Commit

Permalink
add copy/paste to include referenced reference links and footnotes
Browse files Browse the repository at this point in the history
  • Loading branch information
vsch committed Sep 21, 2016
1 parent d179523 commit d9e0e9a
Showing 1 changed file with 9 additions and 6 deletions.
15 changes: 9 additions & 6 deletions flexmark-util/src/main/java/com/vladsch/flexmark/ast/Node.java
Original file line number Diff line number Diff line change
Expand Up @@ -239,7 +239,7 @@ public String toString() {
}

public void getAstExtra(StringBuilder out) {
return;

}

public void astExtraChars(StringBuilder out) {
Expand Down Expand Up @@ -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) {
Expand Down Expand Up @@ -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);
}
Expand Down Expand Up @@ -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) {
Expand Down

0 comments on commit d9e0e9a

Please sign in to comment.