-
-
Notifications
You must be signed in to change notification settings - Fork 46
Pull requests: LeanBitLab/LeanType
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: AI next-word suggestions (on-device first, default off)
#422
opened Aug 19, 2026 by
Lloyd-Jackman-UKPL
•
Draft
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!
Exclude everything labeled
bug with -label:bug.