Skip to content

Fixes #3994 : focus on search input when clicking on js-search element#3995

Open
Jetinho wants to merge 1 commit into
jgthms:mainfrom
Jetinho:main
Open

Fixes #3994 : focus on search input when clicking on js-search element#3995
Jetinho wants to merge 1 commit into
jgthms:mainfrom
Jetinho:main

Conversation

@Jetinho

@Jetinho Jetinho commented Jun 12, 2025

Copy link
Copy Markdown

This is a documentation fix.

Proposed solution

Focusing on search input when it is displayed would enable to type directly one's search terms.

Tradeoffs

It adds a specific bit of js into main.js, which might be improved or better located ?

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

Successfully merging this pull request may close these issues.

1 participant