Font Size

[pdjbarber]

when opening under Ubuntu 18.04 the font is too big, cuts off the bottom 1/4 of the characters

happy to provide images or build versions

[aaronk]

A screenshot would be handy.

[pdjbarber]

Kernel Version:-
4.15.0-34-generic #37-Ubuntu SMP

java version:-
openjdk 10.0.2 2018-07-17
OpenJDK Runtime Environment (build 10.0.2+13-Ubuntu-1ubuntu0.18.04.2)
OpenJDK 64-Bit Server VM (build 10.0.2+13-Ubuntu-1ubuntu0.18.04.2, mixed mode)

image of issue
https://imgur.com/a/CGH4YKj

[casadeapo]

This problem persists in ubuntu derivatives. I think it might be specific to OpenJDK. I was running Oracle java until a recent reinstall, and I don't remember having this font problem.
java -version
openjdk version "11.0.9.1" 2020-11-04
OpenJDK Runtime Environment (build 11.0.9.1+1-Ubuntu-0ubuntu1.20.04)
OpenJDK 64-Bit Server VM (build 11.0.9.1+1-Ubuntu-0ubuntu1.20.04, mixed mode, sharing)

I tried a number of different fonts, and found a couple that work pretty well.
"Coolvetica regular" looks really good, but loses the super cool LCD look of the current digital-7 font. The license is free for both personal and commercial use.
https://www.1001fonts.com/coolvetica-font.html

"balls on the rampage" almost looks like an LCD display, but the license is for personal use only.
https://www.1001fonts.com/balls-on-the-rampage-font.html