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

Search required 3 chars to return results, but appear to load with 1 and 2 #2004

Closed
KronosTheLate opened this issue May 31, 2022 · 3 comments

Comments

@KronosTheLate
Copy link
Contributor

One and two character searches stay like this:
image

The moment i enter a third char, the result pops up.
It should not appear to load when it fact it is waiting for more input.

@jkrumbiegel
Copy link
Member

Yeah I don't know that's stork's default behavior. Might be worth opening an issue over there?

@KronosTheLate
Copy link
Contributor Author

Right. Otherwise the new search engine looks like the best search functionality I have yet seen in Julia documentation ^_^

@ffreyer
Copy link
Collaborator

ffreyer commented Aug 23, 2024

Closing this as the docs backend has changed and this has been fixed

@ffreyer ffreyer closed this as completed Aug 23, 2024
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

No branches or pull requests

3 participants