Changing the font size preference does not update the menu bar font size

[tomazari]

JabRef version

5.7 (latest release)

Operating system

Windows

Details on version and operating system

Windows 10 21H2

Checked with the latest development build

• I made a backup of my libraries before testing the latest development version.
• I have tested the latest development version and the problem persists

Steps to reproduce the behaviour

1. Click options and click preferences
2. Click Appearance
3. Select "Override default font settings" and choose a font size (e.g. 20)
4. Press save. Your font sizes should be updated.
5. Repeat steps 1 and 2
6. Deselect "Override default font settings"
7. 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

[sreenath-tm]

I would like to contribute to the issue. Can you assign this to me.