|
|
@ -1837,14 +1837,15 @@ public class HtmlHelper {
|
|
|
|
tnode = block.get(i);
|
|
|
|
tnode = block.get(i);
|
|
|
|
text = tnode.getWholeText();
|
|
|
|
text = tnode.getWholeText();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Remove whitespace before/after newlines
|
|
|
|
|
|
|
|
text = TRIM_WHITESPACE_NL.matcher(text).replaceAll(" ");
|
|
|
|
|
|
|
|
|
|
|
|
if ("-- ".equals(text)) {
|
|
|
|
if ("-- ".equals(text)) {
|
|
|
|
|
|
|
|
tnode.text(text);
|
|
|
|
i++;
|
|
|
|
i++;
|
|
|
|
continue;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
// Remove whitespace before/after newlines
|
|
|
|
|
|
|
|
text = TRIM_WHITESPACE_NL.matcher(text).replaceAll(" ");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// Remove leading whitespace
|
|
|
|
// Remove leading whitespace
|
|
|
|
if (i == 0 || endsWithWhitespace(block.get(i - 1).text())) {
|
|
|
|
if (i == 0 || endsWithWhitespace(block.get(i - 1).text())) {
|
|
|
|
index = 0;
|
|
|
|
index = 0;
|
|
|
|