Message348000
| Author |
terry.reedy |
| Recipients |
cheryl.sabella, taleinat, terry.reedy |
| Date |
2019年07月16日.04:58:57 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1563253137.23.0.949507846597.issue37530@roundup.psfhosted.org> |
| In-reply-to |
| Content |
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). |
|
History
|
|---|
| 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 |
|