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.

Sign up for GitHub

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

Jump to bottom

Improve search #236

Open
wjhdev opened this issue Jan 16, 2022 · 0 comments
Open

Improve search #236

wjhdev opened this issue Jan 16, 2022 · 0 comments
Labels
pri: useful and optional Priority: Useful and Optional type: staff suggestion Suggested by Editorial Staff

Comments

@wjhdev
Copy link
Member

wjhdev commented Jan 16, 2022

Today, search is done through google custom search. This doesn't present the greatest ux, and the experience of search in general kind of sucks. e.g. search suggestions would be neat!
@wjhdev wjhdev added pri: useful and optional Priority: Useful and Optional type: staff suggestion Suggested by Editorial Staff labels Jan 16, 2022
@wjhdev wjhdev mentioned this issue Jan 30, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
pri: useful and optional Priority: Useful and Optional type: staff suggestion Suggested by Editorial Staff
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wjhdev