
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 _______________________________________