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

Make keyboard autolaunching optional

Browse source 
Closes #81
This commit is contained in:
Finn M Glas 2020-12-30 22:49:11 +01:00
parent cd2a9ed619
commit 04ecd47a02
No known key found for this signature in database
GPG key ID: 902A30146014DFBF
8 changed files with 47 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

1
app/src/main/res/values-es/strings.xml
View file

@ -101,6 +101,7 @@
<string name="settings_launcher_enable_double">Deslizar con dos dedos</string>
<string name="settings_launcher_auto_launch">Auto-lanzar búsquedas</string>
<string name="settings_launcher_auto_keyboard">Abrir teclado en búsqueda</string>
<string name="settings_launcher_sensitivity">Sensibilidad</string>