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

implemented #56: configurable edge width for edge gestures

Browse source
This commit is contained in:
Josia Pietsch 2024-11-01 23:16:27 +01:00
parent 3423534085
commit 6b31f8dc3b
Signed by: jrpie
GPG key ID: E70B571D66986A2D
7 changed files with 125 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -95,6 +95,16 @@
android:key="@string/settings_enabled_gestures_edge_swipe_key"
android:defaultValue="true"
android:title="@string/settings_enabled_gestures_edge_swipe"/>
<PreferenceCategory
android:dependency="@string/settings_enabled_gestures_edge_swipe_key"
app:allowDividerAbove="false" >
<SeekBarPreference
android:key="@string/settings_enabled_gestures_edge_swipe_edge_width_key"
android:defaultValue="15"
android:max="33"
android:title="@string/settings_enabled_gestures_edge_swipe_edge_width"/>
</PreferenceCategory>
</PreferenceCategory>