[ jEdit-users ] Feature request: complete control of fonts

[Hovey, G. <Ho...@pb...>]

Can something be done to make ALL jEdit fonts, including those in plugins,
settable by the user?  I've installed changeUIFonts.bsh and it helps, but
JBrowse (for example) is unaffected.  Also, the dropdown list of open files
at the top of the text area remains in miniscule type.