Message347890
Regarding point #4, scrolling by dragging the scrollbar, note that the current PR for adding line numbers (GH-14030) does effectively the same when dragging on the line numbers to select lines. Therefore, if/when that PR is merged, this will become more common. |
|
Date |
User |
Action |
Args |
2019-07-14 08:53:02 | taleinat | set | recipients:
+ taleinat, terry.reedy, cheryl.sabella |
2019-07-14 08:53:02 | taleinat | set | messageid: <1563094382.18.0.656395714405.issue37559@roundup.psfhosted.org> |
2019-07-14 08:53:02 | taleinat | link | issue37559 messages |
2019-07-14 08:53:02 | taleinat | create | |
|