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

[Zoltan Somogyi]

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.

The attached diff does this. Once it is reviewed, I will copy
the agreed text to compiler/options.m.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.nvd
Type: application/octet-stream
Size: 154 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240427/475d4152/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.nvd
Type: application/octet-stream
Size: 2662 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20240427/475d4152/attachment-0001.obj>