From 4844003cc95096337086e8305b456ff7f1a7008a Mon Sep 17 00:00:00 2001 From: M66B Date: Thu, 13 May 2021 10:56:17 +0200 Subject: [PATCH] Set WebView default font size --- .../java/eu/faircode/email/WebViewEx.java | 20 +++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/app/src/main/java/eu/faircode/email/WebViewEx.java b/app/src/main/java/eu/faircode/email/WebViewEx.java index 1b0ffd4523..3f48a01b36 100644 --- a/app/src/main/java/eu/faircode/email/WebViewEx.java +++ b/app/src/main/java/eu/faircode/email/WebViewEx.java @@ -98,6 +98,26 @@ public class WebViewEx extends WebView implements DownloadListener, View.OnLongC setScrollY(position.second); } + SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(getContext()); + boolean compact = prefs.getBoolean("compact", false); + int zoom = prefs.getInt("view_zoom", compact ? 0 : 1); + int message_zoom = prefs.getInt("message_zoom", 100); + boolean monospaced = prefs.getBoolean("monospaced", false); + + WebSettings settings = getSettings(); + + float fontSize = 16f /* Default */ * message_zoom / 100f; + if (zoom == 0 /* small */) + fontSize *= HtmlHelper.FONT_SMALL; + else if (zoom == 2 /* large */) + fontSize *= HtmlHelper.FONT_LARGE; + + settings.setDefaultFontSize(Math.round(fontSize)); + settings.setDefaultFixedFontSize(Math.round(fontSize)); + + if (monospaced) + settings.setStandardFontFamily("monospace"); + this.intf = intf; setWebViewClient(new WebViewClient() {