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

add an option to search the web from the app list

Browse source
This commit is contained in:
Josia Pietsch 2024-12-21 03:04:50 +01:00
parent 2d53562d58
commit 9216837879
Signed by: jrpie
GPG key ID: E70B571D66986A2D
5 changed files with 18 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -93,6 +93,12 @@
android:key="@string/settings_functionality_search_auto_launch_key"
android:defaultValue="true"
android:title="@string/settings_functionality_auto_launch" />
<SwitchPreference
android:key="@string/settings_functionality_search_web_key"
android:title="@string/settings_functionality_search_web"
android:defaultValue="false"
android:summary="@string/settings_functionality_search_web_summary"
/>
<SwitchPreference
android:key="@string/settings_functionality_search_auto_open_keyboard_key"
android:defaultValue="true"