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

Implemented #14 and #15: favorite apps and hidden apps

Browse source
This commit is contained in:
Josia Pietsch 2024-09-23 18:45:20 +02:00
parent e4b1bccf85
commit 662efd4ecb
Signed by: jrpie
GPG key ID: E70B571D66986A2D
19 changed files with 372 additions and 89 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -97,6 +97,17 @@
android:title="@string/settings_enabled_gestures_edge_swipe"/>
</PreferenceCategory>
<PreferenceCategory
android:title="@string/settings_launcher_section_apps"
app:allowDividerAbove="false">
<Preference
android:key="@string/settings_apps_hidden_key"
android:title="@string/settings_apps_hidden"
/>
</PreferenceCategory>
<PreferenceCategory
android:title="@string/settings_launcher_section_display"