Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-11-10 15:14:44 +00:00
Code Issues Projects Releases Packages Wiki Activity

sphinx docs: put search box above TOC

Browse source 
Makes it visible without having to scroll down.
[ci skip]
This commit is contained in:
Johannes Altmanninger 2019-11-05 08:45:57 +01:00
parent afb56a007d
commit 12e783e30e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sphinx_doc_src/conf.py
View file

@ -129,7 +129,7 @@ html_static_path = ["_static"]
# default: ``['localtoc.html', 'relations.html', 'sourcelink.html',
# 'searchbox.html']``.
#
html_sidebars = {"**": ["globaltoc.html", "localtoc.html", "searchbox.html"]}
html_sidebars = {"**": ["globaltoc.html", "searchbox.html", "localtoc.html"]}
# -- Options for HTMLHelp output ---------------------------------------------