Terry J. Reedy <tjre...@udel.edu> added the comment:
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). ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue37530> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com