[m-rev.] for review: options to control the use of color

[Julien Fischer]

On Sat, 27 Apr 2024, Zoltan Somogyi wrote:

> On 2024-04-27 12:08 +10:00 AEST, "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
>> First, the names of the bright versions contain spaces, and so will
>> need to be quoted on command lines.
>>
>> Second, when you ask for a named color, you will get that color
>> *only* if your terminal's color setup has the color scheme
>> described on the wikipedia page. For example, my xterm
>> preferences are set to use a custom color scheme, so
>> any request for the color names added by this diff will get
>> different colors from what was asked for.

...

> Document named colors.
> 
> doc/user_guide.texi:
>     Update the (commented-out for now) documentation of the set-color-*
>     options to include named colors.

That's fine.

Julien.