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

2018-12-29 Thread Kevin J. McCarthy
On Sat, Dec 29, 2018 at 08:13:51PM +0100, Vincent Lefevre wrote: BTW, the use of the bright prefix was documented only for foreground colors. I've pushed my patch, with documentation. I tried to be rather concise, without giving too many details. Moreover, the "+ 8" is done only when the col

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

2018-12-29 Thread Vincent Lefevre
On 2018-12-18 16:03:38 -0800, Kevin J. McCarthy wrote: > On Tue, Dec 18, 2018 at 01:40:33PM +0100, Vincent Lefevre wrote: > > With the suggestion I've just done in my reply to Derek, I can > > propose for foreground colors: > > > > #colors < 16 >= 16 > > light A_BOLD + 8 > > bri

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

2018-12-18 Thread Kevin J. McCarthy
On Tue, Dec 18, 2018 at 01:40:33PM +0100, Vincent Lefevre wrote: With the suggestion I've just done in my reply to Derek, I can propose for foreground colors: #colors < 16 >= 16 light A_BOLD + 8 bright A_BOLDA_BOLD(as currently) and for background colors, both "l

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

2018-12-18 Thread Vincent Lefevre
On 2018-12-17 12:45:22 -0800, Kevin J. McCarthy wrote: > 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

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

2018-12-18 Thread Vincent Lefevre
On 2018-12-17 18:35:21 -0600, Derek Martin wrote: > In xterm, there are resources that affect how bold and italics are > rendered on your terminal window. The problem, AFAIK, is that the > gnome developers in their infinite wisdom decided to make > gnome-terminal use xterm-256color by default, giv

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

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-16 Thread Vincent Lefevre
On 2018-12-15 15:50:26 -0500, Thomas Dickey wrote: > On Fri, Dec 14, 2018 at 05:15:07AM +0100, Vincent Lefevre wrote: > ... > > For instance, in xterm, one uses > > > > tput bold; tput setaf 3; echo abcdef > > > > but in GNOME Terminal, one uses > > > > tput setaf 11; echo abcdef > > > > I

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

2018-12-15 Thread Thomas Dickey
On Fri, Dec 14, 2018 at 05:15:07AM +0100, Vincent Lefevre wrote: ... > For instance, in xterm, one uses > > tput bold; tput setaf 3; echo abcdef > > but in GNOME Terminal, one uses > > tput setaf 11; echo abcdef > > I assume that the reason is that xterm just has 8 colors: You appear to be

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

2018-12-15 Thread Kevin J. McCarthy
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 bright colors, b

bright colors with GNOME Terminal / 256-color terminals

2018-12-13 Thread Vincent Lefevre
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 bright colors, but in GNOME Terminal, this does bold + bright colors. IMHO, one s