JabRef version
5.7 (latest release)
Operating system
Windows
Details on version and operating system
Windows 10 21H2
Checked with the latest development build
Steps to reproduce the behaviour
- Click options and click preferences
- Click Appearance
- Select "Override default font settings" and choose a font size (e.g. 20)
- Press save. Your font sizes should be updated.
- Repeat steps 1 and 2
- Deselect "Override default font settings"
- Press save. The font size in the menu bar does not update to the default. See screenshot in appendix.
Appendix

Might be a similar issue: Font size preference does not apply correctly to Preference dialog window #8386
JabRef version
5.7 (latest release)
Operating system
Windows
Details on version and operating system
Windows 10 21H2
Checked with the latest development build
Steps to reproduce the behaviour
Appendix
Might be a similar issue: Font size preference does not apply correctly to Preference dialog window #8386