ruff
8dd56d42
- [ty] Rename internal completion `Rank` type to `Relevance`
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
26 days ago
[ty] Rename internal completion `Rank` type to `Relevance` I think "relevance" captures the meaning of this type more precisely.
References
#22460 - [ty] Improve completion ranking based on origin and exact match
Author
BurntSushi
Committer
BurntSushi
Parents
d4c1b0cc
Loading