I am using a GUI application running on a remote Linux host, but displaying on my Windows desktop using the XMing server, PuTTY with X11 forwarding, (and
ssh -X as well, which is done by SLURM's
But the default font is a bit too small. How to increase it?
It took me a while to find the answer, so I'm adding it here for anyone else doing the same search.