JabRef version

5.4 (latest release)

Operating system

GNU / Linux

Details on version and operating system

Linux 5.15.12-100.fc34.x86_64 JabRef 5.4--2021-12-20--ab44182 Linux 5.15.12-100.fc34.x86_64 amd64 Java 16.0.2 JavaFX 17.0.1+1

Checked with the latest development build

Steps to reproduce the behaviour

1. Goto Options -> preference-> appearance and override the default font settings (example fix it to 18)
2. Save preferences
3. restart JabRef
4. The interface has now the font size 18 as expected
5. Goto Options -> preference-> appearance and uncheck the override option returning to the "normal" setting
6. save the preference
7. restart JabRef
8. The interface has now the "normal" font size as expected
9. open the Options -> preference dialog and see that the fot size is still the modified one ( in this example font size 18)
10. From now on to modify the dialog window font size is always necessary to modify the override font size even if the override is not used.

Appendix