20 Sep
2019
20 Sep
'19
4:18 p.m.
Ammar Askar <ammar@ammaraskar.com> added the comment: Changing the title a little to represent that this is now a general improvement of the docs search. Julien is working to upstream a solution into Sphinx that will allow any items to be featured prominently on search. ---------- title: Docs search does not index glossary items -> Docs search should prominently show definitions and glossary items _______________________________________ Python tracker <report@bugs.python.org> <https://bugs.python.org/issue34398> _______________________________________