Message317820
| Author |
terry.reedy |
| Recipients |
markroseman, serhiy.storchaka, terry.reedy |
| Date |
2018年05月28日.00:52:49 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1527468769.41.0.682650639539.issue25015@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
This is 'out of date' in the sense that I have decided that the root problem is scrolling by pixels instead of lines. Once we do the latter, for #33664, we can just scroll by, say, 5 lines instead of 3, which I think is sufficient. |
|
History
|
|---|
| Date |
User |
Action |
Args |
| 2018年05月28日 00:52:49 | terry.reedy | set | recipients:
+ terry.reedy, markroseman, serhiy.storchaka |
| 2018年05月28日 00:52:49 | terry.reedy | set | messageid: <1527468769.41.0.682650639539.issue25015@psf.upfronthosting.co.za> |
| 2018年05月28日 00:52:49 | terry.reedy | link | issue25015 messages |
| 2018年05月28日 00:52:49 | terry.reedy | create |
|