Message348000
PR 14030 for #17535 (line numbers) also has code for 1. I want to merge this first, and fix-up the other.
Changing context font at the same time as the text font, instead of up to 1 second later, eliminates a visual glitch and is a user-visible improvement. Ditto for highlight changes, although the situation is more complicated due to text recoloring (a separate issue). |
|
Date |
User |
Action |
Args |
2019-07-16 04:58:57 | terry.reedy | set | recipients:
+ terry.reedy, taleinat, cheryl.sabella |
2019-07-16 04:58:57 | terry.reedy | set | messageid: <1563253137.23.0.949507846597.issue37530@roundup.psfhosted.org> |
2019-07-16 04:58:57 | terry.reedy | link | issue37530 messages |
2019-07-16 04:58:57 | terry.reedy | create | |
|