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 aumentarlo?
Me tomó un tiempo encontrar la respuesta, así que la agrego aquí para que cualquier otra persona haga la misma búsqueda.

--dpibandera.