-
-
Notifications
You must be signed in to change notification settings - Fork 47
Pull requests: LeanBitLab/LeanType
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(clipboard): null-safe keyboard icon access and input-view race guard in suggestion callbacks
#434
opened Aug 22, 2026 by
Lloyd-Jackman-UKPL
Loading…
2 of 3 tasks
Fix edge key popup: use hitbox bounds in squaredDistanceToEdge
#391
opened Aug 5, 2026 by
AZADAYAZ
Contributor
Loading…
I finally managed to translate all of it into Turkish
#379
opened Jul 30, 2026 by
AZADAYAZ
Contributor
Loading…
feat(gestures): add step-one tap and gesture combining
#240
opened Jul 8, 2026 by
AsafMah
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.