dot/putty-defaults: Express the font name in a more modern way.

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 8a43c499aa10166469ee0a631edd8d437f71f9cd..9084635d421947348b69f85b4f6a61409df65634 100644 (file)
--- a/dot/putty-defaults
+++ b/dot/putty-defaults
@@ -98,7 +98,7 @@ WinNameAlways=0
 WinTitle=
 TermWidth=80
 TermHeight=75
-Font=-trad-fixed-medium-r-semicondensed-*-*-120-*-*-c-*-iso10646-1
+FontName=server:-trad-fixed-medium-r-semicondensed-*-*-120-*-*-c-*-iso10646-1
 FontQuality=0
 FontVTMode=4
 UseSystemColours=0