How to change font for jEdit Help
Submitted by Wednesday, 12 June, 2013 - 13:56
on
How can I make the font of the jEdit help window bigger? I find it hard to read.
I tried to adjust GlobalOptions/TextArea/TextFont, but this changes just the font for the edit pane, not for the Help.
I tried to adjust GlobalOptions/TextArea/TextFont, but this changes just the font for the edit pane, not for the Help.