jEdit doesn't remember font sizes for the Help, File Browser windows
Submitted by Sunday, 19 June, 2022 - 09:32
on
When I set the font sizes for various components of jEdit, they are not remembered across quit/start of the editor. After I start the editor I have to go to Utilities => Global Options => Appearance and change the size setting of at least one of the fonts. After I set it back to my preferred size, that size is used once again to render Help and File Browser text.