Thanks, I will file the bug report: should it be upstream or on Fedora? I know about Fedora's BZ, but what is upstream?
Ranjan
I tried to reproduce the problem on Ubuntu 20.04. Using wayland the fonts in the JGR window are so tiny I can't read them, and the
<Shift-Ctrl-I> increase fonts size key has no effect. Using X11 with openJDK11 the problem doesn't occur.
--