chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86c92e0) | patch
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)
commit28acc5a17c3d739e7d0a4a09ca31e30e233c6fe5
tree047fa6204a5d50ff256723a1f55ba99f0a337ec8tree | snapshot
parent86c92e0ff61751e6583bad09ffc25cd68c5c5dcbcommit | diff
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.
dot/Xdefaults diff | blob | blame | history
dot/Xdefaults.pterm diff | blob | blame | history
Dotfiles and other configuration.