From: Mark Wooding Date: Fri, 12 Jul 2024 17:15:27 +0000 (+0100) Subject: dot/Xdefaults, dot/Xdefaults.pterm: Set bold font explicitly. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/28acc5a17c3d739e7d0a4a09ca31e30e233c6fe5?ds=inline dot/Xdefaults, dot/Xdefaults.pterm: Set bold font explicitly. 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. --- diff --git a/dot/Xdefaults b/dot/Xdefaults index 42c2f25..38b4d11 100644 --- a/dot/Xdefaults +++ b/dot/Xdefaults @@ -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. diff --git a/dot/Xdefaults.pterm b/dot/Xdefaults.pterm index 18f6504..9f4393d 100644 --- a/dot/Xdefaults.pterm +++ b/dot/Xdefaults.pterm @@ -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