JabRef 5.2--2020-11-04--fcbe9c5
Windows 10 10.0 amd64
Java 14.0.2

• Mandatory: I have tested the latest development version from http://builds.jabref.org/master/ and the problem persists

Changing font size makes font size field too small (see screenshot below)

Steps to reproduce the behavior:

1. Go to Preferences > Appearance and tick "Override default font setting"
2. Set font size to 12
3. Save and reenter JabRef
4. The font size field show only the "1" of the "12".

Note that sometime the font size is not changed for the preference dialog and sometime the bug does not appear, but was unable to determine under which conditions this happens.