]> asedeno.scripts.mit.edu Git - PuTTY.git/commit
Introduce a third setting for the 'bold as colour' mode, which lets
authorSimon Tatham <anakin@pobox.com>
Sat, 9 Jun 2012 15:09:22 +0000 (15:09 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 9 Jun 2012 15:09:22 +0000 (15:09 +0000)
commitbc6e0952ef1c27c577318ee3c0883c7823c7005b
tree9c329ce83547969309f897c69cbd88d47ac7f00c
parenta46aac386b20e6474d45f701a96d7afc8cfdafec
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.)

[originally from svn r9559]
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