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

implement #98 - add option to show private space in different list

Browse source
This commit is contained in:
Josia Pietsch 2025-02-09 18:49:41 +01:00
parent 944eb89fef
commit d69e3caf71
Signed by: jrpie
GPG key ID: E70B571D66986A2D
15 changed files with 279 additions and 62 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -151,6 +151,11 @@
android:title="@string/settings_apps_hide_paused_apps"
android:defaultValue="false" />
<SwitchPreference
android:key="@string/settings_apps_hide_private_space_apps_key"
android:title="@string/settings_apps_hide_private_space_apps"
android:defaultValue="false" />
<DropDownPreference
android:key="@string/settings_list_layout_key"
android:title="@string/settings_list_layout"