Message160114
I don't think adding a "browser" arg to help() is a good idea.
The original suggestion of having the help in a separate window and adding a checkbox in the options to (de)activate the feature sounds good to me (it could even allow to select between normal/new window/browser). |
|
Date |
User |
Action |
Args |
2012-05-06 22:36:43 | ezio.melotti | set | recipients:
+ ezio.melotti, terry.reedy, ron_adam, roger.serwy, Ramchandra Apte |
2012-05-06 22:36:43 | ezio.melotti | set | messageid: <1336343803.87.0.272849482377.issue13659@psf.upfronthosting.co.za> |
2012-05-06 22:36:43 | ezio.melotti | link | issue13659 messages |
2012-05-06 22:36:43 | ezio.melotti | create | |
|