Message169937
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. |
|
Date |
User |
Action |
Args |
2012-09-06 20:09:18 | skrah | set | recipients:
+ skrah, georg.brandl, terry.reedy, ezio.melotti, eric.araujo, r.david.murray, docs@python |
2012-09-06 20:09:18 | skrah | set | messageid: <1346962158.4.0.509096768926.issue15871@psf.upfronthosting.co.za> |
2012-09-06 20:09:17 | skrah | link | issue15871 messages |
2012-09-06 20:09:17 | skrah | create | |
|