On 7/12/22 00:11, John Belmonte wrote: > On 1/18/22 10:43 AM, Mats Wichmann wrote: > >> A thought - how about omitting the underline line if the >> to-be-underlined part would be the whole line? > > I wasn't aware of this thread, but that's exactly what I implemented for > 3.11.0b4. > > About this thread-- I understand debating solutions, but there was at > least an agreement here about the problem. For visibility, it would > have been better to open an issue than let the topic drop. (When filing > the issue, I was wondering "how can I be alone thinking this is a > problem?"-- then was surprised to see the support come out for the change.) > > Regards, > --John
Just noticed this change had been made - thanks for taking care of it!!! _______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/73YP4RS4QOJXUS63BQZVLTQHK3OP3L3H/ Code of Conduct: http://python.org/psf/codeofconduct/