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
_______________________________________________ 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
