High DPI screen: here is how to configure JabRef

Help
1

If you have a high DPI screen, this page may interest you: https://blog.lobraun.de/2020/07/15/Scaling-JabRef-for-High-DPI/

2

Seems like the underlying problem is some java bug https://bugs.openjdk.java.net/browse/JDK-8258464