chiark / gitweb /
~mdw / profile / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cc7694e)
dot/putty-defaults: Show bold as colour and font.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 3 Aug 2017 11:28:04 +0000 (12:28 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 3 Aug 2017 11:28:04 +0000 (12:28 +0100)
This brightens things up a bit, in a good way.  I think.

dot/putty-defaults patch | blob | blame | history

diff --git a/dot/putty-defaults b/dot/putty-defaults
index 36ca0ff00e6faacefa69fbe585ede936adf8ce97..1822aae132271d12aac3991995f585eb8b515763 100644 (file)
--- a/dot/putty-defaults
+++ b/dot/putty-defaults
@@ -105,7 +105,7 @@ UseSystemColours=0
 TryPalette=0
 ANSIColour=1
 Xterm256Colour=1
 TryPalette=0
 ANSIColour=1
 Xterm256Colour=1
-BoldAsColour=0
+BoldAsColour=2
 Colour0=255,255,255
 Colour1=255,255,255
 Colour2=0,0,0
 Colour0=255,255,255
 Colour1=255,255,255
 Colour2=0,0,0
Dotfiles and other configuration.