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

Hide sidebar on search #1834

Merged
merged 2 commits into from
Jun 1, 2022

Conversation

IanButterworth
Copy link
Contributor

Hide sidebar on search, needed due to change in search behavior with #1833

@mortenpi mortenpi added Format: HTML Related to the default HTML output Type: Bugfix labels Jun 1, 2022
@mortenpi mortenpi added this to the 0.27.19 milestone Jun 1, 2022
@mortenpi
Copy link
Member

mortenpi commented Jun 1, 2022

Awesome, LGTM. Thanks @IanButterworth!

@mortenpi mortenpi merged commit fa32ca8 into JuliaDocs:master Jun 1, 2022
@IanButterworth IanButterworth deleted the ib/search_hide_sidebar branch June 1, 2022 00:37
fredrikekre pushed a commit that referenced this pull request Jun 3, 2022
(cherry picked from commit fa32ca8)
fredrikekre pushed a commit that referenced this pull request Jun 5, 2022
(cherry picked from commit fa32ca8)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Format: HTML Related to the default HTML output Type: Bugfix
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants