jEdit Community - Resources for users of the jEdit Text Editor
home · archives · chatbox · files · forums · news feeds · polls · projects · search · my account · links
Home » Forums » Troubleshooting
Jedit mangling spaces
Submitted by mauricebis on Saturday, 15 February, 2020 - 17:25
Troubleshooting
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.
login or register to post comments · previous forum topic · next forum topic
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.
login or register to post comments
User login
Browse archives
« April 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
  
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
27 comments · older polls
Syndication

RSS

XML

HTML

Top 10 files
file   ver   dls
German Localization light   4.4.2.1   82347
Context Free Art (*.cfdg)   0.31   46054
JBuilder scheme   .001   18494
BBEdit scheme   1.0   18115
ColdFusion scheme   1.0   18023
R Edit Mode - extensive version   0.1   17472
Advanced HTML edit mode   1.0   16205
Matlab Edit Mode   1.0   16067
jEdit XP icons   1.0   15229
XP icons for jEdit   1.1   14292
home · archives · chatbox · files · forums · news feeds · polls · projects · search · my account · links
Get jEdit at SourceForge.net. Fast, secure and Free Open Source software downloads PHP Language

All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest (c) 2003 by me