[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] docs: correct the default value of the errorcolor option
From: |
Benno Schulenberg |
Subject: |
Re: [PATCH] docs: correct the default value of the errorcolor option |
Date: |
Mon, 13 Sep 2021 15:11:43 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
Op 12-09-2021 om 20:01 schreef Hussam al-Homsi:
> Subject: [PATCH] docs: correct the default value of the errorcolor option
>
> It must be "bold,lightwhite,red" instead of "brightwhite,red"
> because "bright" is deprecated and not documented.
Thanks.
But in fact, looking at the code, it should be simply "bold,white,red".
On an xterm (at least on mine), "bold" and "light" do the same thing:
they bolden the font and make it look brighter. On other terminal
emulators, using bold automatically switches on bright -- but this
can be toggled off on some terminals in the Preferences.
Corrected patch is attached. Are you okay with this version?
Benno
0001-docs-correct-the-default-value-of-the-errorcolor-opt.patch
Description: Text Data
OpenPGP_signature
Description: OpenPGP digital signature