Re: bright colors with GNOME Terminal / 256-color terminals

2018-12-17 Thread Kevin J. McCarthy
On Mon, Dec 17, 2018 at 03:41:36AM +0100, Vincent Lefevre wrote: If one chooses to support "bold" for terminals with >= 16 colors, I think that instead of "boldbright", the "bold" prefix would be sufficient, because when the bold attribute is set, adding 8 or not to the color number does not seem

Re: bright colors with GNOME Terminal / 256-color terminals

2018-12-17 Thread Derek Martin
On Fri, Dec 14, 2018 at 05:15:07AM +0100, Vincent Lefevre wrote: > In the Mutt manual: > >foreground can optionally be prefixed with the keyword bright to make >the foreground color boldfaced (e.g., brightred). > > That's the way to do with xterm, where boldfaced mode is a way to get > br