jEdit Community - Resources for users of the jEdit Text Editor
Jedit mangling spaces
Submitted by mauricebis 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.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
I'm answering my own question
by mauricebis on Mon, 02/03/2020 - 17:43
I'm answering my own question in case this could be useful to others. The bug was in the files properties within the local directory .jedit. The offending directive was:
view.font=DejaVu Sans.
Suppressing this directive, thus choosing the default font for the browser solved the problem.
User login
Browse archives
« August 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   95567
Context Free Art (*.cfdg)   0.31   46061
BBEdit scheme   1.0   18600
JBuilder scheme   .001   18500
ColdFusion scheme   1.0   18030
R Edit Mode - extensive version   0.1   17479
Advanced HTML edit mode   1.0   16212
Matlab Edit Mode   1.0   16074
jEdit XP icons   1.0   15235
XP icons for jEdit   1.1   14299