Increase font size in Recorder?

Gatling (Open-Source)
1

My video display is 4K and the text in the Recorder app is small.

Are there any options for scaling or font sizes?

2

Are you using Java 8 or 11?
It looks like 4k support was only introduce in Java 9.

3

Java 11

4

Sorry, not much we can do (hands full, no such display).
A contribution for 4k support would be much appreciated!