[docs] [issue15871] Online docs: make index search always available.

Ezio Melotti report at bugs.python.org
Thu Sep 6 19:31:16 CEST 2012

Ezio Melotti added the comment:

I find the current search quite useless.
I think index search with a fallback on text search when there are no results would be better.


Python tracker <report at bugs.python.org>

More information about the docs mailing list