From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 19 Sep 2017 16:25:01 +0000 (+0100)
Subject: dot/putty-defaults: Express the font name in a more modern way.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/a4cdad0860fe3270d115c8f69911ac47382decf2

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

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 8a43c49..9084635 100644
--- 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