Adds a way to change checkmark size in list view

uhabits-android/src/main/java/org/isoron/uhabits/activities/habits/list/views/CheckmarkButtonView.kt

@@ -179,6 +179,8 @@ class CheckmarkButtonView(
                 paint.style = Paint.Style.FILL
             }
 
+            paint.textSize *= preferences.taskViewCheckmarkScaleFactor
+
             val label = resources.getString(id)
             val em = paint.measureText("m")
 

uhabits-android/src/main/java/org/isoron/uhabits/activities/settings/SettingsFragment.kt

@@ -151,6 +151,10 @@ class SettingsFragment : PreferenceFragmentCompat(), OnSharedPreferenceChangeLis
             Log.d("SettingsFragment", "updating widgets")
             widgetUpdater!!.updateWidgets()
         }
+        if (key == "pref_task_view_checkmark_scale_factor" && widgetUpdater != null) {
+            Log.d("SettingsFragment", "updating widgets")
+            widgetUpdater!!.updateWidgets()
+        }
         BackupManager.dataChanged("org.isoron.uhabits")
         updateWeekdayPreference()
     }

uhabits-android/src/main/res/values/constants.xml

@@ -94,4 +94,20 @@
         <item>51</item>
         <item>0</item>
     </string-array>
+
+    <string-array name="checkmark_scale_entries">
+        <item>5x</item>
+        <item>4x</item>
+        <item>3x</item>
+        <item>2x</item>
+        <item>1x</item>
+    </string-array>
+
+    <string-array name="checkmark_scale_values">
+        <item>5</item>
+        <item>4</item>
+        <item>3</item>
+        <item>2</item>
+        <item>1</item>
+    </string-array>
 </resources>

uhabits-android/src/main/res/values/strings.xml

@@ -233,4 +233,5 @@
     <string name="activity_not_found">No app was found to support this action</string>
     <string name="pref_midnight_delay_title">Extend day a few hours past midnight</string>
     <string name="pref_midnight_delay_description">Wait until 3:00 AM to show a new day. Useful if you typically go to sleep after midnight. Requires app restart.</string>
+    <string name="pref_task_view_checkmark_scale_factor">Task View Checkmark scale factor</string>
 </resources>

uhabits-android/src/main/res/xml/preferences.xml

@@ -81,6 +81,15 @@
                 android:title="@string/first_day_of_the_week"
                 app:iconSpaceReserved="false" />
 
+        <ListPreference
+            android:defaultValue="255"
+            android:entries="@array/checkmark_scale_entries"
+            android:entryValues="@array/checkmark_scale_values"
+            android:key="pref_task_view_checkmark_scale_factor"
+            android:summary="@string/pref_task_view_checkmark_scale_factor"
+            android:title="@string/pref_task_view_checkmark_scale_factor"
+            app:iconSpaceReserved="false" />
+
     </PreferenceCategory>
 
     <PreferenceCategory

uhabits-core/src/jvmMain/java/org/isoron/uhabits/core/preferences/Preferences.kt

@@ -205,6 +205,11 @@ open class Preferences(private val storage: Storage) {
             for (l in listeners) l.onQuestionMarksChanged()
         }
 
+    var taskViewCheckmarkScaleFactor: Int
+        get() = storage.getString("pref_task_view_checkmark_scale_factor", "1").toInt()
+        set(value) {
+            storage.putString("pref_task_view_checkmark_scale_factor", value.toString())
+        }
     /**
      * @return An integer representing the first day of the week. Sunday
      * corresponds to 1, Monday to 2, and so on, until Saturday, which is