Hi, thanks for the swift response.

Yes, I think it was a font-specific problem. I was using Noto Sans but when I changed to Liberation Sans, the problem went away.

Closing...

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.