Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 43
Pull requests: LeanBitLab/LeanType
Author
Uh oh!
There was an error while loading. Please reload this page.
Label
Uh oh!
There was an error while loading. Please reload this page.
Projects
Uh oh!
There was an error while loading. Please reload this page.
Milestones
Uh oh!
There was an error while loading. Please reload this page.
Reviews
Assignee
Assigned to nobodyLoading
Uh oh!
There was an error while loading. Please reload this page.
Sort
Pull requests list
Fix edge key popup: use hitbox bounds in squaredDistanceToEdge
#391
opened Aug 5, 2026 by
AZADAYAZContributorLoading…
I finally managed to translate all of it into Turkish
#379
opened Jul 30, 2026 by
AZADAYAZContributorLoading…
feat(gestures): add step-one tap and gesture combining
#240
opened Jul 8, 2026 by
AsafMahContributorLoading…
ProTip!
Mix and match filters to narrow down what you’re looking for.