1
Rozmiar czcionki z XMing X11 jest zbyt mały
Korzystam z aplikacji GUI uruchomionej na zdalnym hoście Linux, ale wyświetlam na pulpicie Windows za pomocą serwera XMing, PuTTY z przekazywaniem X11 (i ssh -Xrównież, co robi SLURM srunz --ptyopcją). Ale domyślna czcionka jest nieco za mała. Jak to zwiększyć? Znalezienie odpowiedzi zajęło mi trochę czasu, więc dodaję ją tutaj …