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

[request] search bar keyboard shortcut #1536

Closed
anandijain opened this issue Feb 24, 2021 · 1 comment · Fixed by #2027
Closed

[request] search bar keyboard shortcut #1536

anandijain opened this issue Feb 24, 2021 · 1 comment · Fixed by #2027
Labels
Format: HTML Related to the default HTML output help wanted Type: Enhancement

Comments

@anandijain
Copy link

In comparison to Rust's docs.rs, Documenter.jl does not seem to have keyboard shortcuts.

One particularly useful one is being able to press s and jumping to the search bar.

Is this possible?
@mortenpi mortenpi added Format: HTML Related to the default HTML output help wanted Type: Enhancement labels Feb 24, 2021
@mortenpi
Copy link
Member

mortenpi commented Feb 24, 2021 •
edited
Loading

Yea, we don't have anything like that at the moment. Should be pretty straightforward to implement in JS though.

@Hetarth02 Hetarth02 mentioned this issue Jan 29, 2023
Merged
fredrikekre pushed a commit that referenced this issue Feb 12, 2023
@Hetarth02
Add keyboard shortcut for search box, close #1536 (#2027)
735eee7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Format: HTML Related to the default HTML output help wanted Type: Enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Added keyboard shortcut for search box Hetarth02/Documenter.jl
2 participants
@mortenpi @anandijain