macOS: fix search dragging animation when corner is not changed

pull/9717/head
Lukas 2025-11-26 20:59:43 +01:00
parent 48d11b1ce4
commit cbcd52846c
No known key found for this signature in database
GPG Key ID: 845CB61BD38F4E49
1 changed files with 5 additions and 3 deletions

View File

@ -499,11 +499,13 @@ extension Ghostty {
x: centerPos.x + value.translation.width,
y: centerPos.y + value.translation.height
)
corner = closestCorner(to: newCenter, in: geo.size)
dragOffset = .zero
let newCorner = closestCorner(to: newCenter, in: geo.size)
withAnimation(.easeOut(duration: 0.2)) {
corner = newCorner
dragOffset = .zero
}
}
)
.animation(.easeOut(duration: 0.2), value: corner)
}
}