(On 2/26/20 1:12 PM, Samuel wrote:)
I don't see that problem in the text editor. I'm
wondering how you got that font in the terminal,...
Hmmm...
When I launch "Text Editor" (not the Gnome Terminal), and load my file,
I do *not* see the problem (same as you). Bringing up Preferences and
looking at the Font & Colors tab, I see in the Font section "Use the
system fixed width font (AR PL UKAI CN 16)" checked.
So my suspicion that the problem is in the font is wrong.