Skip to content

Fix rounding error in WindowSwitcher#2750

Merged
lenemter merged 3 commits intomainfrom
lenemter/fix-windowswitcher
Feb 6, 2026
Merged

Fix rounding error in WindowSwitcher#2750
lenemter merged 3 commits intomainfrom
lenemter/fix-windowswitcher

Conversation

@lenemter
Copy link
Member

@lenemter lenemter commented Feb 6, 2026

Fixes #2746

Casting to int rounds the number down, and for some reason 6.0 was rounded to 5... Floating number magic

@lenemter lenemter requested a review from a team February 6, 2026 10:55
Copy link
Member

@leolost2605 leolost2605 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes sense only one comment

Co-authored-by: Leonhard <leo.kargl@proton.me>
@lenemter lenemter requested a review from leolost2605 February 6, 2026 14:12
Copy link
Member

@leolost2605 leolost2605 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@lenemter lenemter merged commit ba69d2f into main Feb 6, 2026
6 checks passed
@lenemter lenemter deleted the lenemter/fix-windowswitcher branch February 6, 2026 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6th and 13th key press of Alt+Tab have a bug

2 participants