On Wed, 9 Sep 2020 15:52:26 -0300 "George N. White III" gnwiii@gmail.com wrote:
On Wed, 9 Sep 2020 at 13:33, Ranjan Maitra maitra@email.com wrote:
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.
-- George N. White III
Thanks, so this appears to be a Fedora problem. Btw, I tried oracle's jdk-14.0.2_linux-x64_bin.rpm and had the same result.
I filed a bug report: https://bugzilla.redhat.com/show_bug.cgi?id=1877524
Thanks again, Ranjan