Preformatted with word wrapping

pull/162/head
M66B 6 years ago
parent 91e9212289
commit f78f3e502d

@ -148,8 +148,18 @@ public class HtmlHelper {
for (Element pre : document.select("pre")) { for (Element pre : document.select("pre")) {
String[] lines = pre.html().split("\\r?\\n"); String[] lines = pre.html().split("\\r?\\n");
for (int i = 0; i < lines.length; i++) { for (int i = 0; i < lines.length; i++) {
if (!"-- ".equals(lines[i])) if (!"-- ".equals(lines[i])) {
lines[i] = lines[i].replace(" ", "&nbsp;"); StringBuilder sb = new StringBuilder();
int len = lines[i].length();
for (int j = 0; j < len; j++) {
char kar = lines[i].charAt(j);
if (kar == ' ' && j + 1 < len && lines[i].charAt(j + 1) == ' ')
sb.append("&nbsp;");
else
sb.append(kar);
}
lines[i] = sb.toString();
}
} }
pre.html(TextUtils.join("<br>", lines)); pre.html(TextUtils.join("<br>", lines));
pre.tagName("div"); pre.tagName("div");

Loading…
Cancel
Save