# HG changeset patch # User Oleksandr Gavenko # Date 1605980384 -7200 # Node ID 9d4c25b94a615b730920faab89b35341c38e3665 # Parent 2aa44aa54450e97ef0608150a5c02d0fd74bb4d0 Use bold font instead of alternative color in mintty. Bold colors are shown when bright colors are requested. diff -r 2aa44aa54450 -r 9d4c25b94a61 .minttyrc --- a/.minttyrc Sat Nov 21 13:38:56 2020 +0200 +++ b/.minttyrc Sat Nov 21 19:39:44 2020 +0200 @@ -46,6 +46,7 @@ # Nice looks and support large amount of chars. Font=Courier New BoldAsFont=yes +BoldAsColour=no # 10 on low DPI, 12 on hi DPI FontHeight=@CFG_FONT_SIZE@ AllowBlinking=no