On Wed, 9 Sep 2020 15:52:26 -0300 "George N. White III" <gnwiii(a)gmail.com>
wrote:
On Wed, 9 Sep 2020 at 13:33, Ranjan Maitra <maitra(a)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