Jedit mangling spaces
Submitted by Saturday, 15 February, 2020 - 17:25
on
Hello,
I just noticed that my Jedit version (5.5.0) on Ubuntu 18.04 is mangling all spaces ? Any idea? Thanks.
BTW, I tried to find a search box on the site but didn't see any, sorry to ask again if this issue has already been answered.
I just noticed that my Jedit version (5.5.0) on Ubuntu 18.04 is mangling all spaces ? Any idea? Thanks.
BTW, I tried to find a search box on the site but didn't see any, sorry to ask again if this issue has already been answered.