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

Problem when search query contains characters like @ and ! #494

Closed
fredrikekre opened this issue May 26, 2017 · 1 comment
Closed

Problem when search query contains characters like @ and ! #494

fredrikekre opened this issue May 26, 2017 · 1 comment
Labels
Type: Bug

Comments

@fredrikekre
Copy link
Member

Searching for e.g. @inbounds or push! in the documentation doesn't work correctly.

(JuliaLang/julia#20363 and JuliaLang/julia#20828)
This was referenced May 26, 2017
Closed
Closed
@mortenpi
Copy link
Member

Search needs a lot of work, there's also e.g. #471. And also the way the results are displayed etc. could use some redesign. But this is very much up for grabs, I don't think I'll be able to get to it any time soon to be honest.

visr added a commit to visr/Documenter.jl that referenced this issue Sep 5, 2017
@visr
use custom trimmer to preserve @ and !
3501d3e 
fixes JuliaDocs#494
@yuyichao yuyichao mentioned this issue Sep 30, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mortenpi @fredrikekre