jEdit Community - Resources for users of the jEdit Text Editor
How to adjust font size in jEdit Help for the API reference
Submitted by MarkTJohnson on Monday, 21 April, 2014 - 16:00
The text for the API reference has always been small but after installing 5.1 the text has become microscopic, like spy story microdot small.

How can I enlarge it enough to read?
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
Unfortunately there is no way
by Vampire on Thu, 15/05/2014 - 10:00
Unfortunately there is no way.
The JavaDoc that is generated with JDK 7 uses a whole new look that is not compatible with the HTML component used to display the help.
Unfortunately there is no easy way to fix this.

But you can always open the JavaDoc in your Browser. You can find it in your jEdit installation directory under doc/api/index.html
Workaround
by Robert Schwenn on Mon, 21/04/2014 - 16:12
Hi,

unfortunately I think there's no way. But You can find the API docs on the web .

Robert
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