Estou usando um aplicativo GUI em execução em um host Linux remoto, mas exibindo na área de trabalho do Windows usando o servidor XMing, PuTTY com encaminhamento X11, (e ssh -Xtambém, o que é feito pelo SLURM sruncom --ptyopção). Mas a fonte padrão é um pouco pequena demais. Como...