Introduce a third setting for the 'bold as colour' mode, which lets
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 9 Jun 2012 15:09:22 +0000 (15:09 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 9 Jun 2012 15:09:22 +0000 (15:09 +0000)
commit863c5362e83ad7d153bc39fdbc526f9d0674a0c2
tree9c329ce83547969309f897c69cbd88d47ac7f00c
parentfc40b431a9049585675e171643eb308cc548713c
Introduce a third setting for the 'bold as colour' mode, which lets
you both brighten the colour _and_ bold the font at the same time.
(Fixes 'bold-font-colour' and Debian #193352.)

git-svn-id: svn://svn.tartarus.org/sgt/putty@9559 cda61777-01e9-0310-a592-d414129be87e
config.c
doc/config.but
doc/man-ptel.but
doc/man-pter.but
doc/man-putt.but
macosx/osxwin.m
putty.h
settings.c
unix/gtkwin.c
windows/window.c