dot/putty-defaults: Use client-side `Fixed' font.

It makes redraw considerably faster.

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 4ae7813bd0c48d7f16ae858bd60c7b4f3830c6df..36009c44ecb78c28f4996e54776a441e1adb1879 100644 (file)
--- a/dot/putty-defaults
+++ b/dot/putty-defaults
@@ -106,7 +106,7 @@ WinNameAlways=0
 WinTitle=
 TermWidth=80
 TermHeight=75
-FontName=server:-trad-fixed-medium-r-semicondensed-*-*-120-*-*-c-*-iso10646-1
+FontName=client:Fixed 13
 FontQuality=0
 FontVTMode=4
 UseSystemColours=0