On 12/31/20 7:10 PM, Dave Mielke wrote:
It shoudn't be doing that, and it isn't doing that for me. Just tested
it to be
sure.
Thank you for the confirmation. I'm wondering whether it's looking up
the Unicode name database for those characters, which obviously
shouldn't be happening.
_______________________________________________
This message was sent via the BRLTTY mailing list.
To post a message, send an e-mail to: [email protected]
For general information, go to: http://brltty.app/mailman/listinfo/brltty
