From caeccfa19e9d0224909e665fbcae11da649cfe88 Mon Sep 17 00:00:00 2001
From: M66B <M66B@users.noreply.github.com>
Date: Sat, 6 Mar 2021 08:58:35 +0100
Subject: [PATCH] Smaller font for settings tab page titles

---
 .../java/eu/faircode/email/FragmentOptions.java     | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/app/src/main/java/eu/faircode/email/FragmentOptions.java b/app/src/main/java/eu/faircode/email/FragmentOptions.java
index a353a720c6..9df61c354f 100644
--- a/app/src/main/java/eu/faircode/email/FragmentOptions.java
+++ b/app/src/main/java/eu/faircode/email/FragmentOptions.java
@@ -28,7 +28,9 @@ import android.content.SharedPreferences;
 import android.database.Cursor;
 import android.database.MatrixCursor;
 import android.os.Bundle;
+import android.text.SpannableStringBuilder;
 import android.text.TextUtils;
+import android.text.style.RelativeSizeSpan;
 import android.view.KeyEvent;
 import android.view.LayoutInflater;
 import android.view.Menu;
@@ -411,6 +413,17 @@ public class FragmentOptions extends FragmentBase {
 
         @Override
         public CharSequence getPageTitle(int position) {
+            CharSequence title = getTitle(position);
+            if (position == 0)
+                return title;
+
+            SpannableStringBuilder ssb = new SpannableStringBuilder(title);
+            ssb.setSpan(new RelativeSizeSpan(0.85f), 0, ssb.length(), 0);
+            return ssb;
+        }
+
+        @NotNull
+        private CharSequence getTitle(int position) {
             switch (position) {
                 case 0:
                     return getString(R.string.title_advanced_section_main);