JabRef version

Latest development branch build (please note build date below)

Operating system

GNU / Linux

Details on version and operating system

Ubuntu 22.04 with Gnome

Checked with the latest development build (copy version output from About dialog)

• 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

Jabref does not remember user font size selected in the File --> Preferences --> General Override default font Size box on new startup.

Version:
JabRef 5.14--2024-05-27--e1da33d
Linux 5.15.0-107-generic amd64
Java 21.0.2
JavaFX 22.0.1+7

Steps to replicate behavior:

1. File --> Preferences --> General Override default font Size with say 15 and save preferences.
2. User preferences in Jabref.xml stored in $HOME/Jabref.xml switches the following line:
   <entry key="mainFontSize" value="15"/> to 15 and in Jabref itself the font size becomes larger as expected.
3. On restart I would expect the font size to be 15. However, Jabreft defaults to a smaller font size of 12 and ignores the font size stored in $HOME/Jabref.xml
4. Opening File --> Preferences --> General still shows font Size of 15 stored in $HOME/Jabref.xml but Jabref seems to ignore that.
5. If user wants to have larger font, you have to repeat the process: File --> Preferences --> General Override default font Size with say 14 or 16 and save preferences in order for Jabref to increase the font. On restart, this setting is lost again.

Appendix

...

Paste an excerpt of your log file here