diff options
author | Niedermann IT-Dienstleistungen <info@niedermann.it> | 2018-08-23 16:01:39 +0300 |
---|---|---|
committer | Niedermann IT-Dienstleistungen <info@niedermann.it> | 2018-08-23 16:01:39 +0300 |
commit | 61080f6cfdf1043b80126afcb8eb8773b04485dd (patch) | |
tree | c692a215ccdcd6afbf91d74b9d3a5f0ab6cfad85 /app/src/main/res/xml | |
parent | ba19a6b63af590a8840fed84ebd57c817fc483c0 (diff) |
#359 Use monospace font
Introduces a new setting and displays edit and view mode in monospace if it is set.
Diffstat (limited to 'app/src/main/res/xml')
-rw-r--r-- | app/src/main/res/xml/preferences.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml index b6ff1db7..7a2c9513 100644 --- a/app/src/main/res/xml/preferences.xml +++ b/app/src/main/res/xml/preferences.xml @@ -25,6 +25,12 @@ android:summary="%s" android:title="@string/settings_theme_title" /> + <SwitchPreference + android:defaultValue="@string/pref_value_font_normal" + android:icon="@drawable/ic_text_fields_black_24dp" + android:key="@string/pref_key_font" + android:title="@string/settings_font_title" /> + <PreferenceScreen android:key="@string/pref_key_certs" android:persistent="false" |