From d92e8381db906c20ceb7f91914d63d514a873c8a Mon Sep 17 00:00:00 2001
From: iNPUTmice <daniel@gultsch.de>
Date: Mon, 8 Sep 2014 23:58:37 +0200
Subject: setting to increase font size. fixed #420

---
 res/xml/preferences.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'res/xml/preferences.xml')

diff --git a/res/xml/preferences.xml b/res/xml/preferences.xml
index 3d2f85c98..f0d64e39c 100644
--- a/res/xml/preferences.xml
+++ b/res/xml/preferences.xml
@@ -62,6 +62,14 @@
             android:summary="@string/pref_notification_grace_period_summary"
             android:title="@string/pref_notification_grace_period" />
     </PreferenceCategory>
+    <PreferenceCategory
+        android:title="@string/pref_ui_options">
+    <CheckBoxPreference
+            android:defaultValue="false"
+            android:key="use_larger_font"
+            android:title="@string/pref_use_larger_font"
+            android:summary="@string/pref_use_larger_font_summary"/>
+    </PreferenceCategory>
     <PreferenceCategory android:title="@string/pref_advanced_options" >
         <PreferenceScreen
             android:summary="@string/pref_expert_options_summary"
-- 
cgit v1.2.3