On Sat, 2020-02-29 at 14:18 -0700, home user wrote:
Beyond that, I've only encountered two problems with the AR PL
UKai
fonts, the open double quote problem being one of them. (And it's
not clear that it's a font problem: Firefox handles it correctly,
Gnome terminal does not.)
One difference there, is that Firefox is happy dealing with
proportional fonts, most terminals expect monospace fonts.
--
uname -rsvp
Linux 3.10.0-1062.12.1.el7.x86_64 #1 SMP Tue Feb 4 23:02:59 UTC 2020 x86_64
Boilerplate: All unexpected mail to my mailbox is automatically deleted.
I will only get to see the messages that are posted to the mailing list.