Preserve plain text spaces

app/src/main/java/eu/faircode/email/HtmlHelper.java

@@ -145,9 +145,14 @@ public class HtmlHelper {
         }
 
         // Pre formatted text
-        for (Element code : document.select("pre")) {
+        for (Element pre : document.select("pre")) {
-            code.html(code.html().replaceAll("\\r?\\n", "<br>"));
+            String[] lines = pre.html().split("\\r?\\n");
-            code.tagName("div");
+            for (int i = 0; i < lines.length; i++) {
+                if (!"-- ".equals(lines[i]))
+                    lines[i] = lines[i].replace(" ", "&nbsp;");
+            }
+            pre.html(TextUtils.join("<br>", lines));
+            pre.tagName("div");
         }
 
         // Code

app/src/main/java/eu/faircode/email/MessageHelper.java

@@ -862,11 +862,8 @@ public class MessageHelper {
             // Prevent Jsoup throwing an exception
             result = result.replace("\0", "");
 
-            if (part.isMimeType("text/plain")) {
+            if (part.isMimeType("text/plain"))
-                result = TextUtils.htmlEncode(result);
+                result = "<pre>" + TextUtils.htmlEncode(result) + "</pre>";
-                result = result.replaceAll("\\r?\\n", "<br>");
-                result = "<span>" + result + "</span>";
-            }
 
             return result;
         }