~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a4cdad0)
dot/putty-defaults: Track font-name preference label changes.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 19 Sep 2017 16:25:31 +0000 (17:25 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 20 Sep 2017 15:49:30 +0000 (16:49 +0100)
dot/putty-defaults patch | blob | blame | history

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 9084635..6a87795 100644 (file)
--- a/dot/putty-defaults
+++ b/dot/putty-defaults
@@ -171,9 +171,9 @@ BugRekey2=0
 StampUtmp=0
 LoginShell=0
 ScrollbarOnLeft=0
-BoldFont=
-WideFont=
-WideBoldFont=
+BoldFontName=
+WideFontName=
+WideBoldFontName=
 ShadowBold=0
 ShadowBoldOffset=1
 SerialLine=/dev/ttyS0
Dotfiles and other configuration.