[ jEdit-users ] Re: More on GUI fonts

[Nitsan V. <nv...@bk...>]

How can the status line font be changed?
With Dirk's "startup" macro it is now possible to redefine all of the GUI
fonts - with the exception of the status line at the bottom.
There probably is a property that can be set with a line like this:

UIManager.put("MenuItem.acceleratorFont", defaultfont);


Nitsan Vardi