jEdit Community - Resources for users of the jEdit Text Editor
Monospaced font: spacing problems
Submitted by WGW on Saturday, 24 April, 2004 - 17:14
I have been hunting the documentation to find out if I can change the display font to a monspaced font. I sometimes have fixed format text like this, which mixes spaces and alphanumeric characters:

554544 54445544455545545
55454555555555 55545555
54 45444444434343430444

The problem (which is nicely reproduced by this forum software) is that spaces are not the same size as characters, so the lines are not the same length, though in monospace they would be, as they are in the QuickNotepad (or in this forum editor box for example). If I put zeros in place of the spaces I get something evenly spaced:

5545440054445544455545545
5545455555555500055545555
5400045444444434343430444


Is there any way to change the display font? I toyed with the Whitespace plugin, but was unable to resolve the problem. I have the impression it is a question of changing the font. I thought that was possible, but now I can't seem to find the documentation on it.

Thanks for any suggestions.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
Monospaced font setting
by takahe on Tue, 27/04/2004 - 09:51
Its a while since I installed jedit, but I thought that the default editing font was a monospaced one.

Which version of jedit are you using?

Anyway, here is how to change it in 4.2preN (I presume its the same in 4.1 - but please feel free to correct me if its not).

Select the Utilities menu, Global Options, JEdit-Text Area.

Then choose the font by clicking the 'button' next to 'Text font'. I found some monospaced fonts don't display quite right when scrolling, but the one I did get to work ok is "DialogInput". I set it to 12 point, regular. Works for me! Smiling

btw, you can also change font of other non-text area items (if you real feel the urge!) under JEdit-Appearance in Global Options.

(In the jedit 4.2 help, configuring text area is briefly mentioned under
JEdit 4.2 User's Guide
+-Using JEdit
...+---Customizing JEdit
.......+---The Global Options Dialog
............+---The Text Area Pane

but it doesn't say much other than "The Text Area pane contains settings to customize the appearance of the text area", and its one of those cases (imho) where you'd probably have to know how to do it in order to find it in the help, as a search on "Font" leads you to the "appearance" settings, but not the all-important Text Area ones.)

hth
Eye-wink
 
Done!
by WGW on Thu, 29/04/2004 - 06:26
Thanks, that helps. The horrible truth is that I did go to that pane, but did not click on the font box; it does not look spectacularly like an option box.

The even terribler (?) truth is that I must have changed it before, just exploring. Then I forgot. As you say, the doc is a little skimpy on this point.

I do think there should be a quicker way to change fonts. Of course, I guess a good macro would do it, if not a plugin.

Again, many thanks for your help -- it has been bugging me!

(my version is 4.1 final. The default font seems to be monspaced, but not for spaces... Or else I changed things without knowing it.)
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
Syndication
file   ver   dls
German Localization light   4.4.2.1   82348
Context Free Art (*.cfdg)   0.31   46055
JBuilder scheme   .001   18495
BBEdit scheme   1.0   18116
ColdFusion scheme   1.0   18024
R Edit Mode - extensive version   0.1   17473
Advanced HTML edit mode   1.0   16206
Matlab Edit Mode   1.0   16068
jEdit XP icons   1.0   15229
XP icons for jEdit   1.1   14293