Tal Einat <talei...@gmail.com> added the comment:
> What if the old and the new font have the same width? The font is set to Courier 10 in the test's setup, and it is then set to Courier 20 by the test before calling reload(). The zero character should certainly not have the same width in both cases. ISTM that indeed the font must be missing, or something of that sort. ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue35730> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
