Skip to content
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

Simplify Search #472

Closed
reglim opened this issue Mar 22, 2023 · 0 comments · Fixed by #493
Closed

Simplify Search #472

reglim opened this issue Mar 22, 2023 · 0 comments · Fixed by #493

Comments

@reglim
Copy link
Contributor

reglim commented Mar 22, 2023

The search should be on the same page as the overview, and should only show project name results, but it should have fuzzy search.

reglim added a commit that referenced this issue Apr 11, 2023
I added a new SearchProvider that handles saving the current query, and
provides a list of projects that contain that query.
Fuzzy search is now handled by Fuse.js.

fixes: #472
reglim added a commit that referenced this issue Apr 11, 2023
I added a new SearchProvider that handles saving the current query, and
provides a list of projects that contain that query.
Fuzzy search is now handled by Fuse.js.

fixes: #472
reglim added a commit that referenced this issue Apr 11, 2023
I added a new SearchProvider that handles saving the current query, and
provides a list of projects that contain that query.
Fuzzy search is now handled by Fuse.js.

fixes: #472
reglim added a commit that referenced this issue Apr 11, 2023
I added a new SearchProvider that handles saving the current query, and
provides a list of projects that contain that query.
Fuzzy search is now handled by Fuse.js.

fixes: #472
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant