bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Windows style improvements


From: Jason Hood
Subject: Windows style improvements
Date: Sat, 21 Jan 2017 18:07:42 +1000
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.1

Attached is a patch to improve rendition on the Windows console.
Windows 10 adds real underlining, so an addition to INFO_COLORS
(a DOS/Windows environment variable to control text attributes)
allows that to be used.  Blink has changed from intense fore-
ground to intense background (and fixes its hook).  Colours will
preserve
 the intensity of the normal attribute, with standout/
bold/blink inverting it (my normal colour is intense, so now
standout will use dim).

-- 
Jason.

Attachment: windows-output.patch
Description: Text document


reply via email to

[Prev in Thread] Current Thread [Next in Thread]