jEdit Community - Resources for users of the jEdit Text Editor
per-buffer font setting
Submitted by herman_ivan on Friday, 23 January, 2004 - 10:06
At present, the only way one can change the font is through the general option setting. It would be nice if I could do that either through file type, or even for a buffer (essentially, adding this option to the global option/buffer option menu).

Why? For most of the programming job one uses Courier or similar for well-known reasons. However, I sometimes have to edit multilingual RDF/XML files, that includes various indic, chinese, korean, etc, scripts. I can do it very well with jEdit, provided that for that particular buffer I use a proper unicode font that has those unicode characters. On my machine at least that is Arial Unicode MS. SO the only thing I can do is to change the font for jEdit in general to edit this file, and then change it back to Courier if I want to edit, for example, a txt or a python file.
User login
Browse archives
« November 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   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300