This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author ammar2
Recipients Mariatta, ammar2, berker.peksag, docs@python, jfine2358
Date 2018-08-15.13:50:40
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
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)
Date User Action Args
2018-08-15 13:50:41ammar2setrecipients: + ammar2, docs@python, berker.peksag, Mariatta, jfine2358
2018-08-15 13:50:40ammar2setmessageid: <>
2018-08-15 13:50:40ammar2linkissue34398 messages
2018-08-15 13:50:40ammar2create