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

Stefan Krah report at bugs.python.org
Thu Sep 6 22:09:18 CEST 2012

Stefan Krah added the comment:

I like the quick search: It works very well for function names.
For the use cases mentioned here I use Google.

I never use the index, so for me personally the positioning of
the quick search box is perfect.

nosy: +skrah

Python tracker <report at bugs.python.org>

More information about the docs mailing list