GUI too small on High DPI screens

[FliegendeWurst]

Description

Running KeY on a screen with higher DPI and scaling > 1 does not work properly. KeY is not scaled.

Reproducible

always

Steps to reproduce

1. Configure one of your monitors to use scaling > 100% (for example 150%)
2. Launch KeY

Additional information

Running Plasma (Wayland) on Linux.

---

• Commit: KeY 2.12.3

[mattulbrich]

If you have a look at other Swing applications: Is this a KeY problem or do other/all Swing applications suffer from this or similar problem(s)?

[FliegendeWurst]

I see the same issue in Jerboa, for example.

Interestingly enough, I can start KeY with -Dsun.java2d.uiScale.enabled=true -Dsun.java2d.uiScale=1.5 to at least correct the size of the cursor...

As a "quick fix" it would be nice to multiply the default font size by the scale factor. Some stuff will still be too small but at least text is readable again.