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

try to fix sporadic bug regarding detection of double click (#138)

Browse source
This commit is contained in:
Josia Pietsch 2025-04-03 13:08:20 +02:00
parent 653d16b269
commit c0d47d391f
Signed by: jrpie
GPG key ID: E70B571D66986A2D
2 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
app/build.gradle
View file

@ -24,7 +24,7 @@ android {
targetSdkVersion 35 targetSdkVersion 35
compileSdk 35 compileSdk 35
versionCode 43 versionCode 43
versionName "0.1.3" versionName "0.1.3+double_click_test"
testInstrumentationRunner "androidx.test.runner.AndroidJUnitRunner" testInstrumentationRunner "androidx.test.runner.AndroidJUnitRunner"
} }

6
app/src/main/java/de/jrpie/android/launcher/ui/HomeActivity.kt
View file

@ -188,6 +188,12 @@ class HomeActivity : UIObject, AppCompatActivity() {
override fun onResume() { override fun onResume() {
super.onResume() super.onResume()
touchGestureDetector = TouchGestureDetector(
this, 0, 0,
LauncherPreferences.enabled_gestures().edgeSwipeEdgeWidth() / 100f
)
touchGestureDetector.updateScreenSize(windowManager)
touchGestureDetector.edgeWidth = touchGestureDetector.edgeWidth =
LauncherPreferences.enabled_gestures().edgeSwipeEdgeWidth() / 100f LauncherPreferences.enabled_gestures().edgeSwipeEdgeWidth() / 100f