Message253321
Thanks, that was it. I actually want to not use the scroll bar unless needed for an extension with more than 15 or so settings, but that is another patch. Ditto for the list of extensions. This looks OK for now. |
|
Date |
User |
Action |
Args |
2015-10-22 07:30:58 | terry.reedy | set | recipients:
+ terry.reedy, kbk, taleinat, roger.serwy, markroseman, python-dev |
2015-10-22 07:30:58 | terry.reedy | set | messageid: <1445499058.92.0.0633897739244.issue24782@psf.upfronthosting.co.za> |
2015-10-22 07:30:58 | terry.reedy | link | issue24782 messages |
2015-10-22 07:30:58 | terry.reedy | create | |
|