[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>

More information about the docs mailing list