Como alterar o tamanho da fonte no XDM (Xtreme Download Manager)? How to increase the font size in x

rommulo9
(usa Void Linux)

Enviado em 18/06/2021 - 18:43h

Olá a todos.

Uso o XDM (Xtreme Download Manager) no Linux Mint Cinnamon e MATE 20.04, com monitor full HD 1920 x 1080.
Os menus, listas e monitor de progresso exibem fonte do tamanho de "bula de remédio", e não encontro no Google nenhuma informação de como aumentar o tamanho da fonte nele. Ele roda em Java (no meu caso, Open-jdk 11) e não existe nenhuma configuração no próprio XDM para alterar o tamanho da fonte.

Segui as dicas de https://bbs.archlinux.org/viewtopic.php?id=72892 mas nada adiantaram.

Nos sites oficiais https://xtremedownloadmanager.com/, https://sourceforge.net/projects/xdman/ e no fórum https://github.com/subhra74/xdm/discussions/ não há nenhuma explicação efetiva a respeito de tamanho das fontes.

No forum https://sourceforge.net/p/xdman/discussion/xdmhelp/ todas as perguntas sobre "font size" estão sem resposta.
Parece que o próprio desenvolvedor, Subhra Das Gupta, não implementou nenhum recurso para ajustar o tamanho da fonte.

Gratidão a todos que ajudarem.