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

code cleanup

Browse source
This commit is contained in:
Josia Pietsch 2024-11-03 16:13:17 +01:00
parent 5b00c4b6bb
commit 0ee4814bd2
Signed by: jrpie
GPG key ID: E70B571D66986A2D
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -115,7 +115,7 @@ class HomeActivity : UIObject, AppCompatActivity(),
var dateFMT = "yyyy-MM-dd"
var timeFMT = "HH:mm"
var period = 100L
val period = 100L
if (LauncherPreferences.clock().showSeconds()) {
timeFMT += ":ss"
}
@ -249,15 +249,15 @@ class HomeActivity : UIObject, AppCompatActivity(),
if (edgeActions) {
if (max(e1.x, e2.x) < edgeWidth * width) {
gesture = gesture?.let { it.getEdgeVariant(Gesture.Edge.LEFT) }
gesture = gesture?.getEdgeVariant(Gesture.Edge.LEFT)
} else if (min(e1.x, e2.x) > (1 - edgeWidth) * width) {
gesture = gesture?.let { it.getEdgeVariant(Gesture.Edge.RIGHT) }
gesture = gesture?.getEdgeVariant(Gesture.Edge.RIGHT)
}
if (max(e1.y, e2.y) < edgeWidth * height) {
gesture = gesture?.let { it.getEdgeVariant(Gesture.Edge.TOP) }
gesture = gesture?.getEdgeVariant(Gesture.Edge.TOP)
} else if (min(e1.y, e2.y) > (1 - edgeWidth) * height) {
gesture = gesture?.let { it.getEdgeVariant(Gesture.Edge.BOTTOM) }
gesture = gesture?.getEdgeVariant(Gesture.Edge.BOTTOM)
}
}
gesture?.invoke(this)