Jedit mangling spaces
  Submitted by  on Saturday, 15 February, 2020 - 17:25
  
  
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.

