jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-06-08 18:30:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

add option to hide keyboard when scrolling (cf. #142)
Some checks failed
Android CI / build (push) Has been cancelled
Details

Browse source
This commit is contained in:
Josia Pietsch 2025-04-23 01:51:01 +02:00
parent 22633bdac3
commit 077bd1ce44
Signed by: jrpie
GPG key ID: E70B571D66986A2D
6 changed files with 36 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

1
app/src/main/res/values/donottranslate.xml
View file

@ -147,6 +147,7 @@
<string name="settings_functionality_search_auto_launch_key" translatable="false">functionality.search_auto_launch</string>
<string name="settings_functionality_search_web_key" translatable="false">functionality.search_web</string>
<string name="settings_functionality_search_auto_open_keyboard_key" translatable="false">functionality.search_auto_keyboard</string>
<string name="settings_functionality_search_auto_close_keyboard_key" translatable="false">functionality.search_auto_close_keyboard</string>
<string name="settings_actions_lock_method_key" translatable="false">settings_action_lock_method</string>