Skip to content

Conversation

@hugovk
Copy link
Member

@hugovkhugovk commented Aug 29, 2023

Fixes#130.

Same as #131, had to create a new PR.

Re-opening as #135 didn't work out.

Demo

https://python-docs-theme-previews--153.org.readthedocs.build/en/153/

@hugovk
Copy link
MemberAuthor

Merging, will make a release to test out #148.

@hugovkhugovk merged commit 77918d1 into python:mainOct 4, 2023
@hugovkhugovk deleted the search-focus branch October 4, 2023 14:35
Sign up for freeto 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.

Focus search box when pressing slash

2 participants

@hugovk@ezio-melotti