jrpie/launcher
1
0
Fork 0
mirror of https://github.com/jrpie/Launcher.git synced 2025-05-10 12:34:17 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

improved documentation

Browse source
This commit is contained in:
Josia Pietsch 2025-05-09 23:54:23 +02:00
parent 6d271970fe
commit 49785e66f2
Signed by: jrpie
GPG key ID: E70B571D66986A2D
12 changed files with 173 additions and 101 deletions
Download patch file Download diff file Expand all files Collapse all files

4
app/src/main/res/values/strings.xml
View file

@ -159,9 +159,9 @@
<string name="settings_launcher_section_functionality">Functionality</string>
<string name="settings_enabled_gestures_double_swipe">Double swipe actions</string>
<string name="settings_enabled_gestures_double_swipe">Double swipe gestures</string>
<string name="settings_enabled_gestures_double_swipe_summary">Swipe with two fingers</string>
<string name="settings_enabled_gestures_edge_swipe">Edge swipe actions</string>
<string name="settings_enabled_gestures_edge_swipe">Edge swipe gestures</string>
<string name="settings_enabled_gestures_edge_swipe_summary">Swipe at the edge of the screen</string>
<string name="settings_enabled_gestures_edge_swipe_edge_width">Edge width</string>
<string name="settings_functionality_auto_launch">Launch search results</string>