diff options
| author | iNPUTmice <daniel@gultsch.de> | 2014-09-08 23:58:37 +0200 |
|---|---|---|
| committer | iNPUTmice <daniel@gultsch.de> | 2014-09-08 23:58:37 +0200 |
| commit | d92e8381db906c20ceb7f91914d63d514a873c8a (patch) | |
| tree | 94367a08152e5704eeb4b6b51747919669b46a55 /res/xml/preferences.xml | |
| parent | d9c4637b31c79095d7acff43fee03daa83859ea3 (diff) | |
setting to increase font size. fixed #420
Diffstat (limited to 'res/xml/preferences.xml')
| -rw-r--r-- | res/xml/preferences.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/res/xml/preferences.xml b/res/xml/preferences.xml index 3d2f85c9..f0d64e39 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" |