Smaller date header size when zooming

3 years ago · 61323e0d2e
parent b82b014219
commit 61323e0d2e
1 changed files with 4 additions and 1 deletions
--- a/app/src/main/java/eu/faircode/email/FragmentMessages.java
+++ b/app/src/main/java/eu/faircode/email/FragmentMessages.java
@ -789,7 +789,10 @@ public class FragmentMessages extends FragmentBase implements SharedPreferences.
                }

                if (dh) {
-                    tvDate.setTextSize(TypedValue.COMPLEX_UNIT_PX, Helper.getTextSize(parent.getContext(), adapter.getZoom()));
+                    int zoom = adapter.getZoom();
+                    if (zoom > 0)
+                        zoom--;
+                    tvDate.setTextSize(TypedValue.COMPLEX_UNIT_PX, Helper.getTextSize(parent.getContext(), zoom));
                    if (date_bold)
                        tvDate.setTypeface(Typeface.DEFAULT_BOLD);