From f78f3e502d3779cd10399fae89d2a6967dfcc5cd Mon Sep 17 00:00:00 2001
From: M66B <M66B@users.noreply.github.com>
Date: Mon, 2 Sep 2019 11:04:51 +0200
Subject: [PATCH] Preformatted with word wrapping

---
 .../main/java/eu/faircode/email/HtmlHelper.java    | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/app/src/main/java/eu/faircode/email/HtmlHelper.java b/app/src/main/java/eu/faircode/email/HtmlHelper.java
index 2d55667bef..ad347936e2 100644
--- a/app/src/main/java/eu/faircode/email/HtmlHelper.java
+++ b/app/src/main/java/eu/faircode/email/HtmlHelper.java
@@ -148,8 +148,18 @@ public class HtmlHelper {
         for (Element pre : document.select("pre")) {
             String[] lines = pre.html().split("\\r?\\n");
             for (int i = 0; i < lines.length; i++) {
-                if (!"-- ".equals(lines[i]))
-                    lines[i] = lines[i].replace(" ", "&nbsp;");
+                if (!"-- ".equals(lines[i])) {
+                    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.tagName("div");