On Wed, 9 Sep 2020 15:52:26 -0300 "George N. White III" <gnwiii@xxxxxxxxx> wrote: > On Wed, 9 Sep 2020 at 13:33, Ranjan Maitra <maitra@xxxxxxxxx> 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 _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx
