cmclark00/RetroMusicPlayer
1
0
Fork 0
mirror of https://github.com/cmclark00/RetroMusicPlayer.git synced 2025-05-23 18:35:21 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add setting to hide search in playlist

Browse source
This commit is contained in:
tomaThomas 2024-10-11 21:26:14 +02:00
parent b9d3ee6ddb
commit b74feda9c8
No known key found for this signature in database
GPG key ID: DEE963DC84059108
7 changed files with 80 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -67,6 +67,13 @@
android:summary="@string/pref_summary_remember_tab"
android:title="@string/pref_title_remember_tab" />
<code.name.monkey.appthemehelper.common.prefs.supportv7.ATESwitchPreference
android:defaultValue="true"
android:key="enable_search_playlist"
android:layout="@layout/list_item_view_switch"
android:summary="@string/pref_summary_enable_search_playlist"
android:title="@string/pref_title_enable_search_playlist" />
<code.name.monkey.appthemehelper.common.prefs.supportv7.ATEListPreference
android:defaultValue="0"
android:entries="@array/pref_tab_text_mode_titles"