jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-04-19 10:20:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

more fonts

Browse source
This commit is contained in:
Josia Pietsch 2024-09-11 14:26:08 +02:00
parent c89e74205d
commit 32c3c41266
Signed by: jrpie
GPG key ID: E70B571D66986A2D
8 changed files with 59 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

7
app/src/main/res/xml/preferences.xml
View file

@ -46,6 +46,13 @@
<PreferenceCategory
android:title="@string/settings_launcher_section_date_time"
app:allowDividerAbove="false">
<DropDownPreference
android:key="@string/settings_clock_font_key"
android:title="@string/settings_theme_font"
android:entryValues="@array/settings_theme_font_values"
android:entries="@array/settings_theme_font_items"
android:summary="%s"
android:defaultValue="HACK"/>
<SwitchPreference
android:key="@string/settings_clock_localized_key"
android:defaultValue="false"