18 Jan
2022
18 Jan
'22
7:12 p.m.
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 would also like that change -- when the underlining is a portion of the whole it's quite useful, but when it's the whole line it's a lot of extra noise. In fact, if I can be permitted to dream for a moment, what would be really nice is using highlighting or bolding or some such and skipping the extra underline lines (where "underlining" means "extra line with pointy hats"). ~Ethan~