[docs] [issue34398] Docs search does not index glossary items
Ammar Askar
report at bugs.python.org
Wed Aug 15 09:50:41 EDT 2018
Ammar Askar <ammar at ammaraskar.com> added the comment:
I think showing glossary results up top in the search page is a good idea, so I wrote up a quick proof of concept sphinx extension to do so. The diff isn't very big or complicated but it does need a bit of cleanup, especially the javascript and presentation side.
There are some screenshots in the pull request.
(Adding Berker since they reviewed the change to move the search bar in the header for the docs)
----------
nosy: +berker.peksag
_______________________________________
Python tracker <report at bugs.python.org>
<https://bugs.python.org/issue34398>
_______________________________________
More information about the docs
mailing list