On Wed, 9 Sep 2020 at 13:33, Ranjan Maitra <mai...@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
_______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org 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@lists.fedoraproject.org
