Message317820
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. |
|
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 | |
|