chiark / gitweb /
dot/Xdefaults, dot/Xdefaults.pterm: Set bold font explicitly.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 12 Jul 2024 17:15:27 +0000 (18:15 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 12 Jul 2024 17:17:32 +0000 (18:17 +0100)
The manual says that PuTTY double-strikes by default, but the results
don't look terribly different.  Maybe `6x13b' is just double-struck
anyway.  But this seems a better thing to do.

dot/Xdefaults
dot/Xdefaults.pterm

index 42c2f25efdae3d7990170626d96feb1587e5691c..38b4d116b0e24b23ba9d2c6cb65889404d8faae0 100644 (file)
@@ -9,6 +9,7 @@
 #define HELV_BR12 -adobe-helvetica-bold-r-normal--12-*-*-*-p-*-iso10646-1
 #define HELV_MI12 -adobe-helvetica-medium-i-normal--12-*-*-*-p-*-iso10646-1
 #define FIXED -trad-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1
+#define FIXEDBOLD -trad-fixed-bold-r-semicondensed--13-120-75-75-c-60-iso10646-1
 #define NICEFONT HELV_MR10
 
 !! General configuration.
index 18f6504c50111b6a9ed3d601cfb3af45df85f6db..9f4393dd5e373115e0afe0b5cb2418db99997bca 100644 (file)
@@ -13,6 +13,7 @@ PTERM_NAME.WinNameAlways:     1
 PTERM_NAME.TermWidth:          80
 PTERM_NAME.TermHeight:         75
 PTERM_NAME.FontName:           server:FIXED
+PTERM_NAME.BoldFontName:       server:FIXEDBOLD
 PTERM_NAME.BoldAsColour:       2
 PTERM_NAME.ScrollOnKey:                1
 PTERM_NAME.ScrollOnDisp:       0