-
Notifications
You must be signed in to change notification settings - Fork 274
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
QuickOpen Filter #204
QuickOpen Filter #204
Conversation
Currently I'm seeing the list grow infinitely.
One good matching algorithm to take inspiration from could be fzy (explanation here). |
It already feels really good @CrossR ! Awesome to see it hooked up with the work @Akin909 did. I believe we'll be able to offer a better experience than Oni1 performance-wise with QuickOpen.
Cool - this sounds like it'll help a lot.
Yeah! I miss this too! We don't have good font support for bold/italic at the moment - but we could at least color the matches differently.
Makes sense. I really liked the 'refine' functionality you added in QuickOpen for Oni1 too - that's something we could consider adding in the future. It looks like you'll need to update the |
With smart search enabled, the search feels a lot better, to me at least. The two other issues outlined in the first post can be added in a follow up (if that is okay with everyone). I'd like to get his merged so we have some form of QuickOpen since I'm missing having one in general!
The splitting is still potentially useful, but the smart search seems to have fixed the issues I was having in the Oni2 repo at least. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks great @CrossR - thank you!
Sounds reasonable! I'll merge this in so we can get going with this implementation 👍 Thanks @CrossR ! |
Started to work on the QuickOpen filter stuff.
This adds a basic filter.
There is a few other things we can do to make it feel better:
src/Editor/Core
andFilter.re
) such that we can match on both and combine the score, and give a higher score for name matches. The logic there might be a bit awkward, but should make it feel nicer.