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

implemented #55

Browse source
This commit is contained in:
Josia Pietsch 2024-11-01 23:23:19 +01:00
parent 6b31f8dc3b
commit 874a2bcdad
Signed by: jrpie
GPG key ID: E70B571D66986A2D
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -108,7 +108,9 @@
<string name="settings_launcher_section_functionality">Functionality</string> <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 actions</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 actions</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_enabled_gestures_edge_swipe_edge_width">Edge width</string>
<string name="settings_functionality_auto_launch">Launch search results</string> <string name="settings_functionality_auto_launch">Launch search results</string>
<string name="settings_functionality_auto_keyboard">Start keyboard for search</string> <string name="settings_functionality_auto_keyboard">Start keyboard for search</string>

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

@ -89,11 +89,13 @@
android:title="@string/settings_functionality_auto_keyboard" /> android:title="@string/settings_functionality_auto_keyboard" />
<SwitchPreference <SwitchPreference
android:key="@string/settings_enabled_gestures_double_swipe_key" android:key="@string/settings_enabled_gestures_double_swipe_key"
android:summary="@string/settings_enabled_gestures_double_swipe_summary"
android:defaultValue="true" android:defaultValue="true"
android:title="@string/settings_enabled_gestures_double_swipe"/> android:title="@string/settings_enabled_gestures_double_swipe"/>
<SwitchPreference <SwitchPreference
android:key="@string/settings_enabled_gestures_edge_swipe_key" android:key="@string/settings_enabled_gestures_edge_swipe_key"
android:defaultValue="true" android:defaultValue="true"
android:summary="@string/settings_enabled_gestures_edge_swipe_summary"
android:title="@string/settings_enabled_gestures_edge_swipe"/> android:title="@string/settings_enabled_gestures_edge_swipe"/>
<PreferenceCategory <PreferenceCategory
android:dependency="@string/settings_enabled_gestures_edge_swipe_key" android:dependency="@string/settings_enabled_gestures_edge_swipe_key"