Estoy usando una aplicación GUI que se ejecuta en un host Linux remoto, pero que se muestra en mi escritorio de Windows usando el servidor XMing, PuTTY con reenvío X11, (y ssh -Xtambién, que se realiza mediante SLURM sruncon la --ptyopción). Pero la fuente predeterminada es un poco pequeña. ¿Cómo...