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

feat(docs): hotkey to jump to search box #1998

Open
Hona opened this issue May 2, 2024 · 3 comments
Open

feat(docs): hotkey to jump to search box #1998

Hona opened this issue May 2, 2024 · 3 comments
Labels
community:contribution Issue will be addressed by community contribution status:in-progress Work is in progress

Comments

@Hona
Copy link
Contributor

Hona commented May 2, 2024

for faster navigation of the docs site, pressing / from anywhere, or maybe Ctrl + K should jump to the search box.

Again, I'm happy to implement, just need confirmation :)

@microsoft-github-policy-service microsoft-github-policy-service bot added the triage New issue. Needs to be looked at label May 2, 2024
@dvoituron
Copy link
Collaborator

/ is probably dangerous when you will use some examples.
But Ctrl+K could be added.

@Hona Hona changed the title feat(docs): hotkey pressing '/' jumps to search box feat(docs): hotkey to jump to search box May 2, 2024
@vnbaaij
Copy link
Collaborator

vnbaaij commented May 2, 2024

I think / is okay to add too. GitHub is using it now as a search shortcut as well

@vnbaaij vnbaaij added status:in-progress Work is in progress community:contribution Issue will be addressed by community contribution and removed triage New issue. Needs to be looked at labels May 2, 2024
@vnbaaij
Copy link
Collaborator

vnbaaij commented May 16, 2024

Hi Luke,
Any update on this?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
community:contribution Issue will be addressed by community contribution status:in-progress Work is in progress
Projects
None yet
Development

No branches or pull requests

3 participants